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