第一章 命题逻辑第一节 命题 1
第二节 量词命题式 10
第三节 推理方法 16
第四节 定理证明 21
第二章 集合论第一节 集合与子集 33
第二节 集合的运算 38
第三节 归纳 42
第四节 字母、字和语言 48
第三章 关系第一节 二元关系 57
第二节 关系的合成 62
第三节 集合A上的关系 65
第四节 A上的关系的闭合运算 68
第五节 次序关系 72
第六节 等价关系与分类 83
第四章 函数第一节 函数的基本性质 93
第二节 合成函数 99
第三节 逆函数 100
第四节 集合A上的函数 102
第五节 用归纳法定义的函数 104
第五章 图论第一节 有向图 109
第二节 加标有向图 115
第三节 无向图 121
第四节 Euler回路和Hamilton回路 124
第五节 树 128
第六章 组合论第一节 鸽子洞原理 144
第二节 排列与组合 146
第三节 产生排列和组合 154
第四节 递推方程 156
第五节 计算复杂性 164
第六节 算法分析 170
第七章 代数第一节 代数的结构 186
第二节 一元代数 193
第三节 半群 196
第四节 群 200
第五节 群码 214
第六节 环 224
第七节 布尔代数 231
习题答案 246
参考文献 252
常用符号 254
索引 255