第一章 集合论 1
1 集合的概念 1
2 集合的运算 3
3 幂集 9
4 n 元组和笛卡尔乘积 10
5 一一对应 11
6 可列集 14
7 无限集 18
第二章 关系和映射 29
1 关系和映射 29
2 关系的运算 31
3 一些特殊性质的关系 36
4 等价关系 38
5 部分序集 42
第三章 格和布尔代数 51
1 代数系统和代数系统的同构 51
2 作为部分序集的格 57
3 作为代数系统的格 68
4 有补格、分配格和模格 71
5 布尔代数及其原子表示 78
6 布尔表达式 85
1 半群与单元半群 101
第四章 半群与群 101
2 群的定义及基本性质 105
3 子群 110
4 循环群 112
5 变换群 117
第五章 商群 125
2 陪集与拉格朗日定理 129
3 正规子群与商群 134
第六章 数理逻辑 140
1 形式逻辑简介 140
2 命题演算 143
3 命题演算的推理理论 157
4 定理的自动证明 161
5 谓词演算 171
6 谓词演算的推理理论 181
第七章 图论 190
1 引论 190
2 基本概念 192
3 欧拉图与汉米尔顿图 207
4 树 211
5 平面图 218
习题答案与提示 226
汉英名词索引 233