原版序 1
第一章 绪言 1
再版前言 2
第二章 集合论初步 3
1 集合论基础 3
2 幂集、n重有序组及笛卡尔乘积 15
第三章 关系与映射 20
1 关系的基本概念 20
2 关系的运算 24
3 关系的某些性质 28
4 关系上的闭包运算 31
5 次序关系 36
6 相容关系 42
7 等价关系 45
8 映射 49
第四章 无限集 58
1 无限集的性质 58
2 集合的基数 61
1 代数系统的基本概念 66
第五章 代数系统 66
2 半群与单元半群 89
3 群论 95
4 环、理想、整环和域 121
5 格与布尔代数 128
第六章 图论 137
1 图论基本概念 137
2 通路、回路与连通性 149
3 欧拉图 156
4 哈密尔顿图 161
5 图的矩阵表示法 163
6 树 174
7 平面图与两步图 187
第七章 数理逻辑 201
1 命题演算 201
2 谓词演算 237
3 命题演算与谓词演算的公理化理论 260
4 谓词演算与逻辑程序设计语言 273