第一章 集合论 1
第一节 集合的概念 1
第二节 集合的运算 4
第三节 幂集合与笛卡儿积 9
第四节 集合概念的扩展 13
复习题一 20
第二章 关系 22
第一节 关系的基本概念 22
第二节 关系的某些性质 28
第三节 关系的闭包运算 33
第四节 次序关系 37
第五节 等价关系 43
复习题二 48
第三章 代数系统 52
第一节 运算与半群 52
第二节群 61
第三节 变换群 70
第四节 同构与同态 76
第五节 陪集与商群 82
第六节 环与域简介 88
复习题三 91
第四章 图论 93
第一节 图的基本概念 93
第二节 路径与回路 102
第三节 图的矩阵表示 108
第四节 平面图与二部图 112
第五节树 117
第六节 运输网络问题 123
第七节 最短路与最小树问题 132
复习题四 137
第五章 数理逻辑 140
第一节 命题及联结词 140
第二节 命题公式及公式的等值和蕴涵关系 145
第三节 对偶与范式 154
第四节 命题演算的推理规则 166
第五节 谓词逻辑简介 172
复习题五 181