第1章　命题逻辑
1.1　命题与联结词
1.2　命题公式
1.3　等值演算
1.4　范式
1.5　联结词的完备集
1.6　命题逻辑的推理演算
1.7　命题逻辑在计算机科学中的应用
小结
习题
第2章　谓词逻辑
2.1　个体、谓词和量词
2.2　谓词公式
2.3　等值演算
2.4　范式
2.5　谓词逻辑的推理演算
2.6　谓词逻辑在计算机科学中的应用
小结
习题
第3章　非经典逻辑简介
3.1 引言
3.2　模态逻辑
3.3　多值逻辑
3.4　非单调逻辑
小结
习题
第4章　集合
　4.1　集合及其表示
　4.2　集合的运算
　4.3　文氏图
　小结
　习题
第5章　关系
　5.1　关系及其表示
5.2　关系的性质
5.3　关系的运算
5.4　等价关系
5.5　偏序关系
5.6　关系在计算机科学中的应用
小结
习题
第6章　函数
6.1 函数的基本概念
6.2　函数的性质
6.3　函数的运算
6.4　集合的特征函数
6.5　集合的基数
6.6　经典集合的扩展
小结
习题
第7章　代数结构
7.1　代数结构及其性质
7.2　同态与同构
7.3　同余与商代数
小结
习题
第8章　群
　8.1　群及其性质
　8.2　置换群与循环群
　8.3　陪集和拉格朗日定理
　8.4　正规子群与群同态基本定理
　8.5　群在计算机科学中的应用
　小结
　习题
第9章　布尔代数
9.1　概述
9.2　格
9.3　布尔代数
9.4　布尔表达式与布尔函数
9.5　布尔代数的同态与同构
小结
习题
第10章　图的基本概念
第11章　特殊图
参考文献