目录 1
第1章 集合论 1
1.1 集合和元素的概念 1
1.2 集合之间的相互关系 3
1.3 集合的运算、文氏图 4
小结 9
习题 9
2.1 关系的基本概念 12
第2章 关系 12
2.2 关系的性质 15
2.3 关系的运算 16
2.4 关系的闭包 19
2.5 等价关系与划分 20
2.6 相容关系与覆盖 22
2.7 偏序关系 23
小结 26
习题 26
3.1 函数的基本概念 30
第3章 函数 30
3.2 特殊函数 31
3.3 函数的复合 32
3.4 逆函数 33
小结 34
习题 35
＊第4章 无限集 37
4.1 集合的基数 37
4.2 可数集与不可数集 38
小结 39
习题 40
第5章 近世代数 41
5.1 代数运算 41
5.2 代数系统 44
5.3 同态和同构 45
5.4 半群与单元半群 47
5.5 群及相关概念 48
5.6 子群 52
5.7 循环群 53
＊5.8 置换群 55
＊5.9 陪集、正规子群、商群和同态定理 57
＊5.10 环、理想、整环和域 61
5.11 格与布尔代数 65
小结 68
习题 69
6.1 图的基本概念 76
第六章 图论 76
6.2 图的连通性 79
6.3 欧拉图与哈密顿图 81
6.4 图的矩阵表示 83
6.5 权图、最小权通路和最小权回路 85
6.6 树 88
＊6.7 二分图 92
＊6.8 平面图 94
6.9 有向图 96
小结 98
习题 99
第7章 命题逻辑 106
7.1 命题和命题联结词 106
7.2 命题公式和真值表 112
7.3 重言式 116
7.4 范式 118
7.5 命题演算的推理理论 122
习题 126
小结 126
第8章 谓词逻辑 130
8.1 谓词、个体和量词 130
8.2 谓词演算公式及其基本永真公式 133
8.3 前束范式 136
8.4 谓词演算的推理理论 137
小结 139
习题 139
参考文献 143