第一章 集合论 1
1 基本概念 1
2 集合的运算 4
3 幂集 10
4 n 元组和笛卡尔乘积 12
5 一一对应 13
6 可列集 16
7 无限集 22
第二章 关系和映射 33
1 关系和映射 33
2 关系的运算 37
3 具有某些特殊性质的关系 43
4 等价关系 45
5 部分序关系 48
第三章 格和布尔代数 59
1 代数系统及其同构 59
2 格 65
3 作为代数系统的格 72
4 有界格、有补格、分配格和模格 75
5 布尔代数 82
1 半群与单元半群 99
第四章 半群与群 99
2 群的定义及其基本性质 102
3 子群 105
4 循环群 107
5 变换群 111
第五章 商群 116
1 同余关系和商代数 116
2 陪集和拉格朗日定理 120
3 正规子群和商群 123
1 命题演算 130
第六章 数理逻辑 130
2 命题演算的推理理论 139
3 定理的自动证明 146
4 谓词演算 154
5 谓词演算的推理理论 163
第七章 图论 173
1 引论 173
2 基本概念 176
3 路径问题 189
4 树 197
5 平面图 204