中山大学计算机学院离散数学,中山大学离散数学-总结与复习.pptx

中山大学离散数学-总结与复习

离散数学-总结与复习(2014/01/08);一.考试基本情况;二.答疑时间;一.考试基本情况;第一部分 数理逻辑-命题逻辑;第一部分 数理逻辑-命题逻辑;4. 会用等值演算及求主析取范式和主合取范式的方法判断公式的类型及是否等值，以及主析取范式和主合取范式之间的转换。5. 掌握推理的形式结构，判断推理是否正确的基本方法，以及对正确的推理会构造它的证明。(注：p?q iff p→ q ? 1 );第一部分 数理逻辑 - 一阶逻辑;一阶逻辑中的基本概念，主要比较它与命题逻辑不同的地方。量词的引入以及量词引入后命题符号化后的不同形式。一阶逻辑中主要的等值式(量词否定值，量词辖域收缩与扩张，量词分配等值式，在有限个个体域内消去量词等值式);第一部分 数理逻辑-一阶逻辑;第二部分 集合和关系-集合;第二部分 集合和关系-集合;第二部分 集合和关系-关系;第二部分 集合和关系-函??;正确地使用集合表达式、关系矩阵和关系图表示给定的二元关系. 给定A上的关系R，判断R的性质. 给定A 上的等价关系R, 求所有的等价类和商集A/R，或者求与R相对应的划分；给定A的划分?,求对应于?的等价关系R.;偏序关系?的定义，偏序集的哈斯图.及偏序集的极大(小)元，最大(小)元，上下界，上(下)确界。关系R的基本运算(f*g, R -1, Rn)闭包的概念及图示化，求r(R), t(R), s(R). 给定集合A、B和f，判别f是否为从A到B的函数f：A?B. 如果是，判断为单射、满射、双射;第三部分 图论-图基本概念;第三部分 图论-图基本概念;第三部分 图论-图基本概念;一般意义下通路(回路)的概念，简单通路(回路) ，初级通路(回路)的概念。图的连通性及连通分支的概念，点割集，边割集，割点，割边的概念及识别。最短路径算法-标号法。关键路径的原理。;第四部分图论-特殊的图/树;二部图的概念，二部图的判定。特殊的二部图，完全二部图Kr,s.欧拉通路，回路及欧拉图的概念及判定定理。哈密尔顿回路，通路及哈密尔顿图，判定的充分条件，与必要条件。

;第四部分图论-特殊的图/树