目录

第1章集合1.1集合的基本概念

1.2集合的运算

1.3包含排斥原理

习题第2章二元关系2.1集合的笛卡尔乘积

2.2二元关系的定义

2.3关系的三种表示方法

2.4关系的基本类型

2.5等价关系与划分

2.6相容关系

2.7偏序关系

2.8复合关系与逆关系

2.9关系的闭包运算

习题第3章函数3.1函数的定义

3.2特殊函数

3.3复合函数与逆函数

习题第4章代数结构4.1代数系统

4.2特殊运算和特殊元素

4.3同构

4.4半群与独异点

4.5群的定义与性质

4.6子群

4.7循环群

*4.8置换群

4.9群码

4.10环和域

习题第5章图论5.1图的基本概念

5.2图的连通性

5.3赋权图的最短通路

5.4欧拉图

5.5哈密顿图

5.6中国邮路问题和旅行售货员问题

5.7二部图

5.8平面图

5.9无向树

5.10有向树

习题第6章命题逻辑6.1命题与联结词

6.2真值表与逻辑等价

6.3永真蕴含式

6.4推理理论

*6.5范式

习题第7章谓词逻辑7.1谓词逻辑的基本概念

7.2量词

7.3等价式

7.4谓词永真蕴含式

7.5谓词演算的推理理论

习题第8章递推关系与生成函数8.1递推关系

8.2常系数线性递推关系

8.3生成函数

习题参考文献