离散复习指南讲义.pptVIP

《离散数学》考试复习指南 南京邮电大学 计算机学院 《离散数学》 1、填空题（ 10空，20分） 2、判断题（10小题，20分） 3、简答题（5小题，40分） 4、证明题（2小题，20分） 考试题型 命题的概念、命题的表示法。 五个基本联结词的含义。 命题公式与命题翻译。 命题公式的真值表（万能的真值表！）。 重言式与蕴含式的证明。 主析取范式/主合取范式。 命题公式的推理（真值表法、直接证法、间接证法（反证法+CP规则））。 第一章 命题逻辑 * of 23 典型例题1-1 * of 23 求公式(P∨?Q)∧(Q∨R)的主析取范式 典型例题1-2 * of 23 P, Q, R (P∨?Q)∧(Q∨R) F,F,F F F,F,T T F,T,F F F,T,T F T,F,F F T,F,T T T,T,F T T,T,T T 法二：真值表如下： 所以主析取范式为： (P∧Q∧R) ∨(P∧Q∧?R) ∨(P∧?Q∧R) ∨(?P∧?Q∧R) 典型例题1-2 典型例题 * 谓词的概念与表示。 量词的含义。 谓词公式与翻译。 判断谓词公式的真值 谓词演算的等价式与蕴含式证明。 谓词演算的推理 第二章 谓词逻辑 典型例题 P60(2) 找出以下十二个句子所对应的谓词表达式。 * 集合、关系、笛卡尔积、幂集的概念。 集合的四种基本运算（交、并、相对补与绝对补、对称差）。 关系的表示方法（直积、关系矩阵、关系图）。 关系的五种基本性质及其判定。 关系的三种运算（复合、逆、闭包、Warshall算法）。 等价关系的定义。 第三章 集合与关系 第三章 集合与关系 等价类、商集的概念。 偏序关系 偏序关系的哈斯图画法。 偏序集中一些元素的判别（最大最小元、极大极小元、上下确界）。 * 第二章作业 * of 26 典型例题3-1 设A={-1,0,1},R={-1,0,1,0}是A上的二元关系，求关系的三种闭包运算. 自反闭包： r(R)={-1,0,1,0，-1,-1,0,0,1,1}； 对称闭包： s(R)= {-1,0,1,0,0,-1,0,1}； 传递闭包： t(R)= {-1,0,1,0}。 第五章??? 代数系统 代数系统的基本性质 半群、独异点、子群、群的概念 群的判定 循环群、交换群、有限循环群 同态、同构、环与域 如何求解运算的幺元、零元 代数系统中幺元与零元的关系 * 第二章作业 * of 26 典型例题5-1 运算*的单位元是 0，零元是 -1，元素2的逆元是 则运算*的单位元是 ？，零元是 ？，元素2的逆元是 ？ * 第二章作业 * of 26 典型例题5-2 设R,*是一个代数系统，a*b=a+b+1，试证明R,*是群 第六章??? 格和布尔代数 格的定义 格同构 子格的判别 分配格（五元及五元以上分配格的判别） 有界格、补元、有补格 布尔格、布尔代数的基本概念 偏序集 格 分配格 有界格 有补格 布尔格 第六章??? 格与布尔代数 第六章??? 格与布尔代数 * 第二章作业 * of 26 典型例题6-1 1 2 3 4 6 12 24 9 极小元 3，4 最小元 无 上确界 12 第七章??? 图论 图的基本概念（如简单图、完全图、欧拉图） 图的基本性质（如关于结点度数的三个基本定理） 图的同构 点割集、边割集、点/边连通度、距离 图的连通性 图的矩阵表示（邻接矩阵、可达性矩阵） 欧拉图（一笔画问题） 哈密尔顿图的判定 * 第二章作业 * of 26 典型例题7-1 设有向图G=V,E，如右图所示，求： （1）Ｇ的邻接矩阵。 （2）Ｇ的可达矩阵。 答疑时间安排 答疑时间：12月21号上午9:50-11:50 答疑地点：教3-312 * * * * * *