文档介绍：离散数学要求知识点:第一章1、幂集的计算;2、二维笛卡尔积的计算。第二章1、关系的三种表示法;2、关系的重要性质;3、关系的三种闭包运算;4、几种特殊关系的概念;5、偏序关系的哈斯图,最元和极元的计算。第三、四章(不要求)第五章1、代数系统的常见性质;2、验证运算满足规律(如交换律,结合律),同态和同构只作了解。第六、七章1、群的定义和性质;2、特殊群的单位元;3、置换的定义及其运算;4、n元对称群Sn的结论;5、循环群的定义,常见循环群的生成元;6、子群的阶与群的阶的关系,有限子群的判定;7、环的定义;8、特殊环的零元和单位元;9、域的概念;常见的有限域。(格与布尔代数不要求)第八章图的表示法:集合法,图法,矩阵表示法(重点),会求邻接矩阵;完全图中结点n和边数m的关系;基本通路和基本回路长度定理;欧拉图和哈密顿图不要求。第九章树的定义;树的性质;外向树的定义;二元树的定义及其应用:用二元树表示表达式;生成树的定义;生成树的边数与图的边数的关系;求最小生成树。第十章命题的概念及判定;五个联结词的真值表;命题的符号化;公式的分类;简单的基本等式;构造真值表,求成真赋值,成假赋值,判定公式的类型;求主范式;命题推理。十一章个体、谓词和量词的概念;命题的符号化;约束变元和自由变元的判定;有限个体域上量词的消去规则;