第1章 集合
1. 1 内容提要
1. 1. 1 集合的基本概念
1. 1. 2 集合的基本运算
1. 1. 3 包含排斥原理
1. 2 例题分析
1. 3 习题与解答
第2章 二元关系
2. 1 内容提要
2. 1. 1 二元关系及其表示方法
2. 1. 2 关系的基本类型
2. 1. 3 等价关系与划分
2. 1. 4 相容关系与覆盖
2. 1. 5 序关系
2. 1. 6 复合关系与逆关系
2. 1. 7 关系的闭包运算
2. 2 例题分析
2. 3 习题与解答
第3章 函数
3. 1 内容提要
3. 1. 1 函数的定义与特殊函数
3. 1. 2 复合函数与逆函数
3. 2 例题分析
3. 3 习题与解答
第4章 代数结构
4. 1 内容提要
4. 1. 1 代数系统的基本概念
4. 1. 2 半群和独异点
4. 1. 3 群的定义与性质
4. 1. 4 子群与群中元素的阶数
4. 1. 5 陪集和拉格朗日定理
4. 1. 6 循环群
4. 1. 7 置换群
4. 1. 8 环和域
4. 2 例题分析
4. 3 习题与解答
第5章 图论
5. 1 内容提要
5. 1. 1 图的基本概念
5. 1. 2 图的连通性
5. 1. 3 赋权图的最短通路
5. 1. 4 欧拉图
5. 1. 5 哈密顿图
5. 1. 6 二部图
5. 1. 7 平面图
5. 1. 8 无向树
5. 1. 9 有向树
5. 2 例题分析
5. 3 习题与解答
第6章 命题逻辑
6. 1 内容提要
6. 1. 1 命题和联结词
6. 1. 2 真值表和逻辑等价
6. 1. 3 永真蕴含式
6. 1. 4 推理理论
6. 1. 5 范式
6. 2 例题分析
6. 3 习题与解答
第7章 谓词逻辑
7. 1 内容提要
7. 1. 1 谓词与量词
7. 1. 2 谓词公式与变元约束
7. 1. 3 谓词演算的等价式与永真蕴含式
7. 1. 4 前束范式
7. 1. 5 谓词逻辑的推理理论
7. 2 例题分析
7. 3 习题与解答
第8章 递推关系
8. 1 内容提要
8. 1. 1 常系数线性递推关系
8. 1. 2 生成函数
8. 2 例题分析
8. 3 习题与解答
参考文献