离散数学PDF电子书下载

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