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

《离散数据》复习提纲 第一章 命题演算 掌握： 1.命题及联接词（汉语中的关联词所对应的联接词） ☆ 2.命题变元与命题公式（句子符号化）☆ 3. 列出命题公式的真值表、并判断公式类型 4.等价关系式☆ 5.对偶关系 6.主析取范式和主合取范式☆ 7. 直接推演、等价演算☆ 理解： 1.蕴含关系式 2.合取范式和析取范式 了解： 1.其他联接词（课本1.4节内容） 2.间接推演 第二章 谓词演算 掌握： 1.基本概念：谓词与个体的概念、量词 2. 谓词演算公式 3.自由变元、约束变元☆ 4.前束范式 理解： 1.谓词演算的关系式 了解： 1.使用谓词和量词将句子符号化 2.谓词演算的推理 第三章 集合 掌握： 1.集合及其表示、集合间的关系、几个特殊的集合（空集） 2.集合的运算及基本公式☆ 3.幂集 理解： 1.集合的直积 第四章 关系 掌握： 1.关系的定义、几种特殊的关系（空关系、全序关系、恒等关系） 2.关系的表示：关系矩阵☆、关系图 3.复合关系☆ 4.关系的有关性质 5. 等价关系的定义 6.偏序关系、全序关系的定义、偏序集的哈斯图、极大元、极小元、最大元、最小元☆ 理解： 1.关系的闭包运算 了解： 1.集合的覆盖与划分 2.等价类、等价类的性质、商集 3.相容 4.良序集 第五章 映射与无限集 掌握： 1.基本概念：映射、满射、单射、双射☆ 2.复合映射 3.逆映射 了解： 1.由映射产生的等价关系 2.无限集 第六章 图论 掌握： 1.图的基本概念：无向图、有向图、顶点集、边集、度数、入度、出度、度数序列、入度序列、出度序列 2.握手定理☆ 3. 几类特殊的图：简单图、多重图、带权图、完全图（定义、性质）、正则图(定义、性质) 4.无向图的连通性和有向图的连通性（判断连通的方法） 5.无向树和根树的相关概念：根节点、叶子节点、分支节点、内结点、结点的层数、树的高度 6.二叉树的性质：边数和顶点数的关系。☆ 7.二叉树的遍历：前序、中序、后序☆ 8.逆波兰式（后缀波兰式）☆ 9.最小生成树☆ 10.最短路径☆ 11.欧拉图、半欧拉图的定义、判断无向欧拉图和有向欧拉图的充要条件 12.邻接矩阵 理解： 1.母图、子图、真子图、生成子图、边集导出子图、顶点急导出子图 2.图的运算：删边、删点、删边集、删点集、收缩、交、并、环和 3.路与回路相关概念：边序、迹、路、闭迹、回路等。 4.割边、割集 5.前缀波兰式 6.关联矩阵 了解： 1.同构； 2.二分图； 3.二叉树与M叉树之间的转换 4.构造二叉排序树 5.最大生成树 6.图的遍历 7.哈密顿图 8.平面图 9.可达矩阵