第1章 集合论 1
1.1内容提要及注意事项 1
1.2集合论概念与计算 3
1.2.1集合论概念与计算习题 3
1.2.2集合论概念与计算习题解答 9
第2章 关系 21
2.1内容提要及注意事项 21
2.2关系的概念与性质 24
2.2.1关系的概念与性质习题 24
2.2.2关系的概念与性质习题解答 28
2.3关系的闭包求法和关系的矩阵表示 36
2.3.1关系的闭包求法和关系的矩阵表示习题 36
2.3.2关系的闭包求法和关系的矩阵表示习题解答 38
2.4关系的分类 44
2.4.1关系的分类习题 44
2.4.2关系的分类习题解答 47
第3章 函数 54
3.1内容提要及注意事项 54
3.2函数的概念与性质 55
3.2.1函数的概念与性质习题 55
3.2.2函数的概念与性质习题解答 58
第4章 集合的基数 64
4.1内容提要及注意事项 64
4.2可数集与不可数集的概念与性质 65
4.2.1可数集与不可数集的概念与性质习题 65
4.2.2可数集与不可数集的概念与性质习题解答 66
第5章 代数结构 73
5.1内容提要及注意事项 73
5.2代数系统的概念 76
5.2.1代数系统的概念习题 76
5.2.2代数系统的概念习题解答 79
5.3半群与单元半群 85
5.3.1半群与单元半群习题 85
5.3.2半群与单元半群习题解答 87
5.4群论 92
5.4.1群论习题 92
5.4.2群论习题解答 96
5.5环与域 110
5.5.1环与域习题 110
5.5.2环与域习题解答 112
5.6格、布尔代数 118
5.6.1格、布尔代数习题 118
5.6.2格、布尔代数习题解答 120
第6章 图论 127
6.1内容提要及注意事项 127
6.2图的基本概念 133
6.2.1图的基本概念习题 133
6.2.2图的基本概念习题解答 139
6.3欧拉图与哈密顿图 150
6.3.1欧拉图与哈密顿图习题 150
6.3.2欧拉图与哈密顿图习题解答 152
6.4树 154
6.4.1树的习题 154
6.4.2树的习题解答 157
6.5平面图与二分图 163
6.5.1平面图与二分图习题 163
6.5.2平面图与二分图习题解答 166
第7章 命题逻辑 171
7.1内容提要及注意事项 171
7.2命题概念 175
7.2.1命题概念习题 175
7.2.2命题概念习题解答 177
7.3命题公式化简及形式化 182
7.3.1命题公式化简及形式化习题 182
7.3.2命题公式化简及形式化习题解答 184
7.4范式 189
7.4.1范式习题 189
7.4.2范式习题解答 190
7.5推理理论 195
7.5.1推理理论习题 195
7.5.2推理理论习题解答 197
第8章 谓词逻辑 206
8.1内容提要及注意事项 206
8.2谓词逻辑的基本概念及其公式 208
8.2.1谓词逻辑的基本概念及其公式习题 208
8.2.2谓词逻辑的基本概念及其公式习题解答 210
8.3谓词逻辑的推理理论 216
8.3.1谓词逻辑的推理理论习题 216
8.3.2谓词逻辑的推理理论习题解答 219
参考文献 228