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

文档格式：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　文档大小：282.5KB　文档页数：23

一、字符串和形式语言二、形式文法三、形式文法的分类

文档格式：PPT　文档大小：532KB　文档页数：29

◼ 9.1 无向树及生成树 ◼ 9.2 根树及其应用

文档格式：PPT　文档大小：190KB　文档页数：24

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