点击切换搜索课件文库搜索结果(302)
文档格式:PPT 文档大小:336.5KB 文档页数:42
2.1 个体、谓词与量词 2.2 谓词公式 2.3 谓词演算的等价式与蕴含式 2.4 前束范式 2.5 谓词逻辑的推理理论
文档格式:PDF 文档大小:561.86KB 文档页数:9
《随机模拟方法与应用 Stochastic Simulation Methods and Its Applications》教学资源(论文资料)06 管理浮动机制下的人民币汇率行为分析——基于贝叶斯MCMC推断法与ESVDJ模型(厦门大学、中山大学)
文档格式:PDF 文档大小:530.26KB 文档页数:7
《随机模拟方法与应用 Stochastic Simulation Methods and Its Applications》教学资源(论文资料)55 全源NT技术的接入网链路丢包率推断(西北工业大学计算机学院)
文档格式:PDF 文档大小:506.19KB 文档页数:62
上海交通大学:《离散数学》课程教学资源(PPT课件)命题逻辑的推理
文档格式:PDF 文档大小:5.82MB 文档页数:327
上海交通大学:《离散数学》课程教学资源(讲义)第二章 命题逻辑的等值与推理
文档格式:PDF 文档大小:1.36MB 文档页数:137
上海交通大学:《离散数学》课程教学资源(讲义)第五章 谓词逻辑的等值和推理演算
文档格式:PDF 文档大小:5.82MB 文档页数:327
上海交通大学:《离散数学》课程教学资源(讲义)第二章 题逻辑的等值与推理演算
文档格式:PDF 文档大小:1.36MB 文档页数:137
上海交通大学:《离散数学》课程教学资源(讲义)第五章 谓词逻辑的等值和推理演算
文档格式:PPT 文档大小:281.5KB 文档页数:78
上海交通大学:《离散数学》课程教学资源(PPT课件)第二章 命题逻辑的等值和推理演算
文档格式:PPT 文档大小:323.5KB 文档页数:73
上海交通大学:《离散数学》课程教学资源(PPT课件)第5章 谓词逻辑的等值和推理演算
首页上页2122232425262728下页末页
热门关键字
搜索一下,找到相关课件或文库资源 302 个  
©2008-现在 cucdc.com 高等教育资讯网 版权所有