[高等教育]离散数学复习大纲.pptVIP

离散数学期末复习大纲 命题逻辑 1、命题(概念) 2、命题符号化(联结词) 3、命题公式真值 4、公式类型(可满足式、永真式、永假式) 5、等值演算( 证明A ? B)（可通过真值表法验证） 6、主析取(合取)范式,　成真(成假)赋值(真值表法、等值演算法) 7、推理证明(11个推理规则) 　 一阶逻辑 1、一阶逻辑下命题符号化(个体域、联结词、量词、特性谓词) 2、一阶逻辑公式真值（存在量词、全称量词） 3、判断公式类型(可满足式,永真,永假) 4、求谓词公式的前束范式(一阶逻辑等值式的应用) 集合 1、集合的运算（并、交、补、对称差）、幂集、子集、文氏图 2、集合等式（包含式）的证明（公式的应用） 二元关系和函数 1、有序对、笛卡儿积 2、二元关系的表示方法（集合、关系矩阵、关系图） 3、关系的运算（合成、逆）、关系的幂运算 4、关系的闭包(自反、对称、传递) 5、关系的性质（自反、反自反、对称、反对称、传递） （分别通过定义、关系图、关系矩阵判断） 6、 等价关系（定义、证明、等价类、商集、划分） 7、偏序关系(定义、证明、哈斯图、特殊元素) 8、函数的性质的判断（单射、满射、双射） 9、函数的运算（逆、合成） 代数系统 1、代数系统的概念（二元运算、子代数、封闭性） 2、二元运算的性质（结合律、幂等律、交换律） 3、代数系统的特殊元素判断（幺元、零元、逆元） 4、半群、含幺半群（独异点）的判断 5、群的证明（四个性质：封闭性、结合性、存在幺元、每个元素存在逆元）、相关定理 6、Klein四元群、阿贝尔群（可交换群） 7、群中元素的阶、循环群（z6, ? ）的生成元 图 1、顶点的度、 握手定理、度序列 2、简单图、完全图（Kn）、子图(生成子图)、补图、同构 3、连通图(强连通图判定定理)、连通分支、点割集、边割集 4、关联矩阵（性质）、邻接矩阵、可达矩阵 5、二部图（判定条件）、完全二部图（Kn,m) 6、欧拉图的判定（判定条件） 7、哈密尔顿图（判定条件(必要、充分)） 8、平面图（面数）、握手定理、欧拉公式 9、树的概念 特别说明: (1)大纲中列出的内容是主要概念, 在大纲中未出现的也可能会少量涉及到; (2)大纲中红色字体表示重点、大题(综合题)的出题范围; (3) 考试只允许带一张手写A4纸张(可双面写，不许复印、打印） * *