《离散数学》

第一章 命题逻辑第一节 命题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