第一章 命题逻辑 1
A 内容提要 1
B 选题例解 8
C 习题与解 19
第二章 谓词逻辑 65
A 内容提要 65
B 选题例解 69
C 习题与解 74
第三章 集合与关系 95
A 内容提要 95
B 选题例解 106
C 习题与解 119
第四章 函数 198
A 内容提要 198
B 选题例解 203
C 习题与解 208
第五章 代数结构 248
A 内容提要 248
B 选题例解 257
C 习题与解 265
第六章 格和布尔代数 306
A 内容提要 306
B 选题例解 311
C 习题与解 322
第七章 图论 347
A 内容提要 347
B 选题例解 358
C 习题与解 368
第八章 形式语言与自动机 434
A 内容提要 434
B 选题例解 445
C 习题与解 477
第九章 纠错码初步 524
A 内容提要 524
B 选题例解 530
C 习题与解 540
参考文献 560