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

文档格式：PPT　文档大小：166.5KB　文档页数：30

▪ 命题变项与合式公式 ▪ 公式的赋值 ▪ 真值表 ▪ 命题的分类重言式矛盾式可满足式

文档格式：PPTX　文档大小：1.21MB　文档页数：51

问题1：关系具有哪些重要性质？问题2：如果计算关系的闭包？问题3：什么是等价关系与等价类？

文档格式：DOC　文档大小：36KB　文档页数：6

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

文档格式：DOC　文档大小：36KB　文档页数：3

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

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

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

文档格式：DOC　文档大小：38KB　文档页数：2

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

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

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

文档格式：PDF　文档大小：516.43KB　文档页数：4

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

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

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

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

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