绪论 1
第1篇 数理逻辑 7
第1章 命题逻辑 7
1.1命题的基本概念 8
1.1.1命题 8
1.1.2命题的分类 9
1.1.3命题标识符 9
1.2联结词 10
1.2.1否定联结词 10
1.2.2合取联结词 11
1.2.3析取联结词 12
1.2.4蕴涵联结词 13
1.2.5等价联结词 14
1.3命题公式 16
1.3.1命题公式的定义 16
1.3.2命题公式的层次 17
1.3.3命题公式的赋值与真值表 17
1.3.4命题的符号化 20
1.4命题公式之间的关系 22
1.4.1命题公式之间的逻辑等价 22
1.4.2等价置换 24
1.4.3命题公式之间的逻辑蕴涵 29
1.5对偶与范式 31
1.5.1对偶 31
1.5.2范式 33
1.5.3主范式 35
1.6命题逻辑推理理论 41
1.6.1有效推理的概念 41
1.6.2命题演算推证 43
1.7常见题型解析 48
本章小结 51
扩展阅读 51
习题 60
第2章 谓词逻辑 65
2.1谓词的基本概念 66
2.1.1谓词和个体 66
2.1.2量词 68
2.2谓词公式与解释 71
2.2.1谓词公式的定义 71
2.2.2自由与约束 72
2.2.3谓词公式的解释 74
2.2.4谓词公式的类型 75
2.3谓词公式之间的关系 76
2.3.1谓词公式之间的逻辑等价 76
2.3.2谓词公式之间的逻辑蕴涵 78
2.4前束范式 80
2.4.1前束范式的定义 80
2.4.2前束合取范式和前束析取范式 82
2.5谓词逻辑推理理论 83
2.5.1谓词演算推证 83
2.5.2谓词演算推证举例 85
2.6常见题型解析 88
本章小结 93
扩展阅读 93
习题 97
本篇知识逻辑结构图 103
第2篇 集 合论 107
第3章 集合 107
3.1集合的概念与关系 107
3.1.1集合的基本概念 107
3.1.2集合表示法 108
3.1.3集合之间的关系 109
3.1.4幂集和集族 111
3.1.5文氏图 113
3.2集合的运算与性质 114
3.2.1集合的运算 114
3.2.2集合的运算性质 115
3.2.3有序对与笛卡儿积 120
3.3有限集合的计数 124
3.4常见题型分析 129
本章小结 131
扩展阅读 132
习题 133
第4章 二元关系 137
4.1关系的概念 137
4.1.1关系的定义 138
4.1.2特殊的关系 138
4.1.3关系的表示 139
4.2关系的性质 142
4.3关系的运算 146
4.3.1定义域与值域 147
4.3.2限制与像 148
4.3.3逆运算 149
4.3.4复合运算 151
4.3.5关系的性质与运算的联系 156
4.3.6关系的闭包运算 159
4.4等价关系与划分 167
4.5相容关系与覆盖 173
4.6偏序关系 177
4.7常见题型分析 182
本章小结 185
扩展阅读 186
习题 188
第5章 函数 192
5.1函数的定义 192
5.2函数的性质与分类 196
5.3常用函数 200
5.4函数的运算 202
5.4.1复合运算 202
5.4.2逆运算 206
5.5常见题型解析 209
本章小结 211
扩展阅读 212
习题 213
第6章 集合的基数 216
6.1基本概念 216
6.2基数的比较 220
6.3常见题型解析 224
本章小结 225
扩展阅读 226
习题 226
本篇知识逻辑结构图 228
第3篇 代数结构 231
第7章 代数系统 231
7.1二元运算及其性质 232
7.1.1二元运算的定义 232
7.1.2二元运算的性质 232
7.2代数系统 234
7.2.1定义和实例 234
7.2.2子代数系统与积代数系统 236
7.2.3代数系统的同态与同构 236
7.3常见题型解析 238
本章小结 240
扩展阅读 240
习题 243
第8章 群论初步 245
8.1群的定义及其性质 246
8.1.1半群和独异点 246
8.1.2群及其性质 247
8.2子群与陪集 249
8.2.1子群的定义与判定 249
8.2.2陪集与拉格朗日定理 251
8.3特殊的群——阿贝尔群、循环群和置换群 255
8.3.1阿贝尔群 255
8.3.2循环群 256
8.3.3置换群 258
8.4群的扩展——环与域 261
8.5常见题型解析 263
本章小结 265
扩展阅读 266
习题 270
第9章 格与布尔代数 272
9.1格的一般性讨论 272
9.1.1格的定义 272
9.1.2格的性质 276
9.1.3格的同态与同构 279
9.2特殊的格 283
9.3布尔代数 287
9.3.1布尔代数的定义 287
9.3.2亨廷顿公理 289
9.3.3布尔代数的子代数 292
9.3.4有限布尔代数 292
9.3.5布尔代数的同态与同构 295
9.4常见题型解析 297
本章小结 302
扩展阅读 303
习题 306
本篇知识逻辑结构图 308
第4篇 图论 311
第10章 图的基本概念 311
10.1图的定义 312
10.2图的同构 317
10.3图与子图及其分类 318
10.4图的运算 321
10.5常见题型解析 322
本章小结 324
扩展阅读 325
习题 328
第11章 图的连通性 330
11.1通路与回路 330
11.2无向图的连通性 332
11.3有向图的连通性 336
11.4常见题型解析 339
本章小结 342
扩展阅读 343
习题 345
第12章 图的矩阵表示 348
12.1邻接矩阵 348
12.2可达矩阵 352
12.3完全关联矩阵 354
12.4常见题型解析 357
本章小结 360
扩展阅读 360
习题 362
第13章 特殊图 366
13.1欧拉图 367
13.1.1欧拉图的定义 367
13.1.2欧拉图的判定 367
13.2哈密顿图 370
13.2.1哈密顿图的定义 370
13.2.2哈密顿图的判定 370
13.3二分图 373
13.3.1二分图及判别定理 373
13.3.2完备匹配 374
13.4平面图 376
13.4.1平面图的概念 376
13.4.2欧拉公式 377
13.4.3平面图的判定 378
13.4.4平面图的对偶图 380
13.5树 381
13.5.1树的定义及其相关术语 381
13.5.2树的性质 381
13.6生成树 383
13.6.1生成树的定义 383
13.6.2最小生成树 385
13.7根树 387
13.7.1根树的定义 387
13.7.2二叉树 388
13.8常见题型解析 396
本章小结 403
扩展阅读 404
习题 407
本篇知识逻辑结构图 411
名词与术语索引表 412
参考文献 420