离散结构（离散数学）复习整理

1、命题逻辑

等值演算重点

命题逻辑的推理及应用

2、谓词逻辑

谓词逻辑的推理及应用

自然推理系统F2

3、集合与关系

有容计数集、包容排斥原理

有序对和笛卡尔积、关系及其表示

关系的运算、复合关系、逆关系、关系幂

关系的性质、关系的闭包、等价关系和等价类

商集、偏序关系、偏序集与哈斯图

4、函数

函数的性质、复合函数和反函数

5、图论

图论、相邻与邻接

握手定理、图的同构、完全图、通路与回路

图的矩阵表示

6、树及其应用

欧拉图、哈密顿图（接上）

最小生成树、哈夫曼树

7、代数系统

特异元素、半群与独异点

子系统和直积、群

群的性质

特殊的群、陪集与拉格朗日定理

复习重点