前言
第1篇 集合论
第1章 集合
1.1 基本概念
1.2 基本运算
1.3 几个定理
1.4 文氏图
1.5 笛卡尔积
1.6 习题
第2章 关系
2.1 关系的表示
2.2 关系的性质
2.3 关系的运算
2.4 关系的闭包
2.5 等价关系
2.6 偏序关系
2.7 习题
第2篇 数理逻辑
第3章 命题逻辑
3.1 命题
3.2 联结词
3.3 命题公式
3.4 等价
3.5 永真式与永假式
3.6 对偶
3.7 范式
3.8 习题
第4章 谓词逻辑
4.1 基本概念
4.2 谓词公式
4.3 永真式与蕴含式
4.4 前束范式
4.5 习题
第3篇 图论
第5章 图
5.1 基本概念
5.2 图的连通性
5.3 图的矩阵表示
5.4 有向图
5.5 权图中的*优路线
5.6 习题
第6章 特殊图
6.1 欧拉图
6.2 哈密顿图
6.3 平面
6.4 习题
第4篇 近世代数
第7章 代数系统
第8章 群论
第9章 环、域、格
附录 单射、满射、双射
参考答案
参考文献