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

文档格式：DOC　文档大小：41.5KB　文档页数：4

《离散数学 Discrete Mathematics》课程教学资源（习题集）《集合论与图论》课堂练习1-07（2010级）

文档格式：DOC　文档大小：58KB　文档页数：4

《离散数学 Discrete Mathematics》课程教学资源（习题集）《集合论与图论》课堂练习1-（2006级）解答

文档格式：PPT　文档大小：899KB　文档页数：86

2.1 谓词逻辑的基本概念与表示 2.2 谓词的合式公式及解释 2.3 范式 2.4 一阶逻辑的推理 2.5 谓词逻辑在计算机科学中的应用

文档格式：PPT　文档大小：836KB　文档页数：82

1.1 命题符号化及联结词 1.2 命题公式及分类 1.3 等值演算 1.4 联结词全功能集 1.5 对偶与范式 1.6 推理理论

文档格式：DOC　文档大小：45.5KB　文档页数：5

《离散数学 Discrete Mathematics》课程教学资源（习题集）《集合论与图论》课堂练习1-（2006级）

文档格式：PPT　文档大小：282.5KB　文档页数：23

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

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

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

文档格式：DOC　文档大小：125.5KB　文档页数：8

《离散数学 Discrete Mathematics》课程教学资源（习题集）集合与图论期终考试试题2013级（A卷）

文档格式：PDF　文档大小：99KB　文档页数：9

《离散数学 Discrete Mathematics》课程教学资源（习题集）李弋老师-2013年期末试卷

文档格式：PDF　文档大小：42.47KB　文档页数：2

《离散数学 Discrete Mathematics》课程教学资源（习题集）李弋老师-2013年期中试卷