离散数学

第一章　命题逻辑
引言
1-1　命题
1-2　命题演算
1-3　命题范式和判定问题
1-4　命题演算的推理理论
第二章　谓词逻辑
引言
2-1　谓词演算
2-2　谓词演算的永真式
2-3　谓词演算的推理理论
第三章　集　合
引言
3-1　集合的基本概念
3-2　集合代数
3-3　笛卡儿乘积
第四章　二元关系
引言
4-1　关系
4-2　等价关系
4-3　关系的合成
第五章　函　数
引言
5-1　函数的基本性质
5-2　几种重要函数
5-3　反函数
5-4　置换
5-5　二元运算
第六章　代数系统
引言
6-1　代数结构
6-2　代数系统的实例
6-3　同态和同构
6-4　同余关系
6-5　商代数
6-6　积代数
第七章　图　论
引言
7-1　图论的基本概念
7-2　图的矩阵表示
7-3　欧拉图与哈密顿图
7-4　特殊图