复习提纲(离散数学) 幻灯片.pptVIP

总复习 第一章 命题逻辑 1. 判断句子是否为命题. 2. 命题符号化. 原子命题：不能再分割的子句. 3. 五种基本联结词，优先级. 4. 求已知命题公式的对偶公式. 5. 求主析取范式、主合取范式. 6. 等价变换,课本P33. 命题公式等价的实质——真值表相同. 7. 直接推演（注意：一定要按步骤写！每用一次I公式都要写成一步。） 第二章总结 1. 将句子符号化为谓词表达式——注意量词的应用。 一定要写出谓词及代表的含义，个体常元代表的个体。 如：F(x,y)：x正在看y a:张华 2. 个体域不同，量词作用下的联结词符号不同。 个体域的取值： 默认情况—全总个体域 特性谓词：指明X具有某种性质。 3. 求前束范式——量词提到最前面，作用域至最尾。 利用换名、代入法则。 4. 直接推演、间接推演 第三章 集合 1. 正确判断∈和 。 2. 求集合的幂集。 第四章 关系 1. 关系的本质。 2. 求关系的逆。 3. 关系的性质：自反、反自反、对称、反对称、传递。 判断方法：定义、关系矩阵、关系图。 4. 求关系的闭包。 5. 求关系的复合。（注意顺序：谁对谁的复合） RοR-1 和 R-1οR 结果是不同的。 6. 构造哈斯图。（找出所有“盖住”关系） 给出集合A和集合上的关系R要能——画出哈斯图； 给出哈斯图要能——写出集合A和关系R。 第五章 映射 1. 对于函数的3种性质的判断 ：单射、满射、双射。 第六章 图 1. 图的顶点度数的计算（无向图、有向图） 2. 握手定理的应用（无向图、有向图） 3. 简单图：无环、无平行边。 正则图：每个顶点的度数相同。 完全图：任意点与其他点之间都有边。 连通图（有向、无向）判断。 4. 树根：入度为0. 叶子：入度为1，出度为0. 内点：出度不为0. 分枝点：树根+内点. 树中边m与点n的关系：m=n-1. 5. 二叉树的遍历：前序、中序、后序、层序。 考试题型 1. 选择题：10×1分=10分 2. 填空题：10×2分=20分 3. 简答题（含计算）： 36分 4. 问答题（含证明）： 34分 答题技巧 1. 试卷不能留空白，尤其是大题！ 2. 解答过程要详细！ * * 如果存在特性谓词，则在全称量词?的约束下，特性谓词与普通谓词之间用联结词→ 如果存在特性谓词，则在存在量词?的约束下，特性谓词与普通谓词之间用联结词∧