离散数学复习要点（屈婉玲版教材）

第一部分

1. 命题符号化（联结词的准确使用，注意：排斥或）
2. 命题公式的真值分析（成真赋值、成假赋值）
3. 公式的类型（重言式、矛盾式、可满足式）
4. 等值演算（可用于解决实际问题）
5. 公式的主范式、极大项、极小项
6. 命题推理证明
7. 一阶逻辑的命题符号化（注意个体域不同时符号化形式的不同）
8. 给定解释，分析谓词公式的真值
9. 前束范式
10. 一阶逻辑推理证明

第二部分

1. 集合的运算（并、交、补、对称差、广义并、广义交）
2. 有穷集计数（包含排斥原理）
3. 二元关系的表示（集合、关系图、关系矩阵）
4. 关系的运算（域、逆、复合、限制、像）及运算满足的性质
5. 关系的幂运算及其周期性
6. 关系的性质及判断关系性质的方法
7. 关系的闭包运算
8. 等价关系、等价类、划分、商集
9. 偏序关系及其哈斯图
10. 最小元、最大元、极小元、极大元、上界、下界、上确界、下确界
11. 函数的定义及其性质（单射、满射、双射）
12. 像、完全原像
13. 函数的复合、反函数

第三部分

1. 集合上的二元运算的定义（集合对运算的封闭性）
2. 二元运算的性质（幂等律、结合律、交换律、消去律、分配律、吸收律）
3. 单位元、零元、可逆元
4. 代数系统、子代数
5. 代数系统的同态映射
6. 代数系统的类型（半群、独异点、群）
7. 群的阶、群中元素的阶
8. 群的幂运算
9. 子群的证明

第四部分

1. 简单图画（握手定理、同构图）
2. 各类图（完全图、竞赛图、生成子图、导出子图）
3. 初级通路（路径）、简单通路、初级回路（圈）、简单回路
4. 短程线
5. 连通分支
6. 点割集（割点）、边割集（桥）、连通度
7. 有向图的连通性（强连通、单向连通、弱连通）
8. 二部图及其性质（完全二部图）
9. 图的矩阵表示（关联矩阵、邻接矩阵、可达矩阵）
10. 利用邻接矩阵的幂运算计算图中通路数、回路数
11. 欧拉图及哈密顿图的判断
12. 最小生成树、最优二叉树
13. 平面图的判断
14. 欧拉公式