《离散数学》复习提纲.doc

文档介绍：《离散数据》复习提纲
第一章 命题演算
掌握：
（汉语中的关联词所对应的联接词） ☆
（句子符号化）☆
3. 列出命题公式的真值表、并判断公式类型
☆

《离散数据》复习提纲
第一章 命题演算
掌握：
（汉语中的关联词所对应的联接词） ☆
（句子符号化）☆
3. 列出命题公式的真值表、并判断公式类型
☆

☆
7. 直接推演、等价演算☆
理解：


了解：
（）

第二章 谓词演算
掌握：
：谓词与个体的概念、量词
2. 谓词演算公式
、约束变元☆

理解：

了解：


第三章 集合
掌握：
、集合间的关系、几个特殊的集合（空集）
☆

理解：

第四章 关系
掌握：
、几种特殊的关系（空关系、全序关系、恒等关系）
：关系矩阵☆、关系图
☆

5. 等价关系的定义
、全序关系的定义、偏序集的哈斯图、极大元、极小元、最大元、最小元☆
理解：

了解：

、等价类的性质、商集


第五章 映射与无限集
掌握：
：映射、满射、单射、双射☆


了解：


第六章 图论
掌握：
：无向图、有向图、顶点集、边集、度数、入度、出度、度数序列、入度序列、出度序列
☆
3. 几类特殊的图：简单图、多重图、带权图、完全图（定义、性质）、正则图(定义、性质)