离散数学文库下载_中国高校课件下载中心

文档格式：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

▪ 个体词 ▪ 谓词 ▪ 量词 ▪ 一阶逻辑中命题符号化