离散数学复习要点_离散数学复习题四

离散数学复习要点由刀豆文库小编整理，希望给你工作、学习、生活带来方便，猜你可能喜欢“离散数学复习题四”。

离散数学复习要点

题型：选择题、填空题、计算和证明题

(不用担心，考题不难，都是平时上课讲过的内容)

命题逻辑：

命题的判定和符号化（即命题的翻译）.会画命题公式的真值表.理解成真赋值，小项.含n个变元的不等价的命题公式有多少类.求公式的主合取范式和主析取范式.熟悉命题的等价公式(命题定律)和蕴涵公式(推理定律).谓词逻辑:

命题的符号化，即带量词的谓词公式的翻译，包括一元谓词和二元谓词的翻译.谓词公式中量词的作用域.会求谓词公式的前束范式.谓词逻辑中推理的证明(P,T规则 + EI,EG,UI,UG规则).集合与关系:

子集概念，会求幂集，会求幂集中元素个数.会求两个集合的笛卡尔积.关系的性质：（反）自反性，（反）对称性，传递性。弄清定义，会判断。会求复合关系、逆关系.会求自反/对称/传递闭包.会证明等价关系.等价关系与划分的相互转化.图论：

基本概念: 简单图，多重图，零图，n阶完全图，结点的度.握手定理及推论:图的度数之和=边数的两倍,边数=图的出度和=图的入度和.无向图的连通性.会判断有向图的强连通，单侧连通，弱连通性.会求图（包括零图，完全图等）的点连通度、边连通度.由邻接矩阵求结点的入度、出度，由邻接矩阵的幂求结点间长度为k的路的数目.欧拉图的判定.哈密顿图的判定: 理解必要条件；会证明充分条件.好好复习!预祝成功!