第一章 集合 1
1-1 集合与元素 1
1-2 集合的包含与相等 9
1-3 幂集 17
1-4 集合运算 27
1-5 笛卡尔积 42
小结 52
第二章 二元关系 53
2-1 二元关系及其表示 53
2-2 关系的性质 66
2-3 关系的运算 76
2-4 等价关系和相容关系 94
2-5 偏序关系 106
小结 117
第三章 函数 123
3-1 函数 123
3-2 复合函数 137
小结 146
第四章 代数结构简介 148
4-1 代数结构 148
4-2 半群和群 160
4-3 同态和同构 170
小结 182
第五章 图论初步 185
5-1 图的基本概念 185
5-2 路与回路 201
5-3 邻接矩阵和关联矩阵 210
5-4 欧拉图和哈密尔顿图 227
5-5 平面图及偶图 238
5-6 树 250
小结 267
第六章 命题逻辑 273
6-1 命题 273
6-2 命题公式及翻译 282
6-3 命题定律 290
6-4 基本联结词与蕴含关系 304
6-5 范式 313
6-6 命题演算的推理理论 331
小结 340
第七章 谓词演算 343
7-1 谓词和量词 343
7-2 谓词公式 352
7-3 谓词演算的等价式与蕴含式 362
7-4 谓词演算的推理理论 371
小结 381