综合搜索课件包文库(422)
文档格式:PPT 文档大小:899KB 文档页数:86
2.1 谓词逻辑的基本概念与表示 2.2 谓词的合式公式及解释 2.3 范式 2.4 一阶逻辑的推理 2.5 谓词逻辑在计算机科学中的应用
文档格式:DOC 文档大小:46KB 文档页数:2
《离散数学 Discrete Mathematics》课程教学资源(习题集)《集合论与图论》课堂练习1-07解答(2010级)
文档格式:DOC 文档大小:41.5KB 文档页数:4
《离散数学 Discrete Mathematics》课程教学资源(习题集)《集合论与图论》课堂练习1-07(2010级)
文档格式:PPT 文档大小:836KB 文档页数:82
1.1 命题符号化及联结词 1.2 命题公式及分类 1.3 等值演算 1.4 联结词全功能集 1.5 对偶与范式 1.6 推理理论
文档格式:DOC 文档大小:58KB 文档页数:4
《离散数学 Discrete Mathematics》课程教学资源(习题集)《集合论与图论》课堂练习1-(2006级)解答
文档格式:DOC 文档大小:45.5KB 文档页数:5
《离散数学 Discrete Mathematics》课程教学资源(习题集)《集合论与图论》课堂练习1-(2006级)
文档格式:DOC 文档大小:20KB 文档页数:2
《离散数学 Discrete Mathematics》课程教学资源(习题集)北京大学1997年研究生入学考试
文档格式:PPT 文档大小:550.5KB 文档页数:40
◼ 3.1 集合的基本概念 ◼ 3.2 集合的基本运算 ◼ 3.3 集合中元素的计数
文档格式:PPT 文档大小:141.5KB 文档页数:18
一、推理的形式结构 二、判断推理是否正确的方法 三、推理定律与推理规则 四、构造证明法
文档格式:PPT 文档大小:190KB 文档页数:24
▪ 个体词 ▪ 谓词 ▪ 量词 ▪ 一阶逻辑中命题符号化
首页上页1314151617181920下页末页
热门关键字
搜索一下,找到相关课件或文库资源 422 个  
©2008-现在 cucdc.com 高等教育资讯网 版权所有