离散数学要求知识点

离散数学要求知识点：

第一章

1、幂集的计算；

2、二维笛卡尔积的计算。 第二章

1、关系的三种表示法； 2、关系的重要性质； 3、关系的三种闭包运算； 4、几种特殊关系的概念；

5、偏序关系的哈斯图，最元和极元的计算。 第三、四章（不要求） 第五章

1、代数系统的常见性质；

2、验证运算满足规律（如交换律，结合律），同态和同构只作了解。 第六、七章

1、群的定义和性质； 2、特殊群的单位元； 3、置换的定义及其运算； 4、n元对称群Sn的结论；

5、循环群的定义，常见循环群的生成元；

6、子群的阶与群的阶的关系，有限子群的判定； 7、环的定义；

8、特殊环的零元和单位元； 9、域的概念；常见的有限域。 （格与布尔代数不要求） 第八章

1、图的表示法：集合法，图法，矩阵表示法（重点），会求邻接矩阵； 2、完全图中结点n和边数m的关系； 3、基本通路和基本回路长度定理； 4、欧拉图和哈密顿图不要求。 第九章

1、树的定义； 2、树的性质； 3、外向树的定义；

4、二元树的定义及其应用：用二元树表示表达式； 5、生成树的定义；

6、生成树的边数与图的边数的关系； 7、求最小生成树。

第十章

1、命题的概念及判定；

2、五个联结词的真值表； 3、命题的符号化； 4、公式的分类； 5、简单的基本等式；

6、构造真值表，求成真赋值，成假赋值，判定公式的类型；求主范式； 7、命题推理。 十一章

1、个体、谓词和量词的概念； 2、命题的符号化；

3、约束变元和自由变元的判定； 4、有限个体域上量词的消去规则；