图书介绍
高等教育规划教材 离散数学及其应用pdf电子书版本下载
- 汪荣贵，王晓华，杨娟，李书杰编著 著
- 出版社： 北京：机械工业出版社
- ISBN：9787111575207
- 出版时间：2017
- 标注页数：396页
- 文件大小：65MB
- 文件页数：406页
- 主题词：离散数学－高等学校－教材
PDF下载
下载说明
高等教育规划教材 离散数学及其应用PDF格式电子书版下载
下载的文件为RAR压缩包。需要使用解压软件进行解压得到PDF格式图书。建议使用BT下载工具Free Download Manager进行下载,简称FDM(免费,没有广告,支持多平台）。本站资源全部打包为BT种子。所以需要使用专业的BT下载软件进行下载。如 BitComet qBittorrent uTorrent等BT下载工具。迅雷目前由于本站不是热门资源。不推荐使用！后期资源热门了。安装了迅雷也可以迅雷进行下载！
（文件页数 要大于 标注页数，上中下等多册电子书除外）
注意：本站所有压缩包均有解压码： 点击下载压缩包解压工具
图书目录
第1章 集合与计数基础 1
1.1 集合的基本知识 1
1.1.1 数学危机与集合论 1
1.1.2 集合的概念与表示 2
1.1.3 集合的基本运算 8
1.1.4 集合的二进制表示 12
1.2 可数集与不可数集 14
1.2.1 无限集的度量问题 15
1.2.2 自然数集的定义 16
1.2.3 无限集的基数比较 20
1.3 有限集的基本计数技术 22
1.3.1 加法原理与乘法原理 22
1.3.2 容斥原理与鸽笼原理 23
1.3.3 排列计数与组合计数 27
1.4 有限集的高级计数技术 33
1.4.1 递推关系计数法 33
1.4.2 递推关系的求解 35
1.4.3 生成函数计数法 38
1.5 习题 40
第2章 整数与算法设计基础 43
2.1 整数的基本知识 43
2.1.1 整数与整数除法 43
2.1.2 整数的因数分解 45
2.1.3 素数的性质与查找 51
2.2 同余算术及其应用 53
2.2.1 同余关系及其运算 53
2.2.2 同余方程与方程组 57
2.2.3 整数加密算法 61
2.3 算法设计的基本知识 65
2.3.1 算法的基本概念 65
2.3.2 算法效率的度量 66
2.3.3 算法设计应用举例 67
2.4 算法设计策略与应用 70
2.4.1 蛮力与贪心策略 70
2.4.2 递归与分治策略 72
2.4.3 回溯与动态规划策略 75
2.5 习题 79
第3章 命题演算与推理 82
3.1 命题的概念与运算 82
3.1.1 逻辑与命题逻辑 82
3.1.2 命题的基本概念 83
3.1.3 命题的常用联结词 85
3.2 命题公式与等值演算 89
3.2.1 命题公式的基本知识 90
3.2.2 等值关系与等值演算 94
3.2.3 公式的内否与对偶 98
3.3 联结词的完备集 100
3.3.1 联结词的枚举 100
3.3.2 联结词的完备性 102
3.3.3 联结词的应用 103
3.4 命题公式的范式 103
3.4.1 范式的基本概念 104
3.4.2 主析取范式 106
3.4.3 主合取范式 109
3.4.4 主范式间的联系 111
3.5 命题逻辑的演绎推理 114
3.5.1 永真蕴含关系与判定 115
3.5.2 命题公式推演系统 117
3.5.3 命题推证的基本策略 119
3.6 命题逻辑的应用 122
3.6.1 刑侦推断问题 122
3.6.2 组合逻辑电路设计 123
3.6.3 加法器电路设计 124
3.7 习题 126
第4章 谓词演算与推理 129
4.1 个体词、谓词与量词 129
4.1.1 逻辑与谓词逻辑 129
4.1.2 命题函数与谓词 130
4.1.3 量词与特性谓词 133
4.2 谓词公式与等值演算 136
4.2.1 谓词公式的概念 137
4.2.2 变量的自由与约束 138
4.2.3 谓词公式的解释与分类 140
4.2.4 谓词公式的等值与蕴含 142
4.3 谓词公式的范式 147
4.3.1 等值型范式 147
4.3.2 非等值型范式 149
4.4 谓词逻辑的推理 151
4.4.1 谓词公式的推演系统 151
4.4.2 谓词推证的基本方法 153
4.4.3 谓词推理实例选讲 155
4.5 谓词逻辑的应用 157
4.5.1 摘香蕉问题 157
4.5.2 水容器问题 159
4.6 习题 161
第5章 关系模型与理论 165
5.1 关系的数学模型 165
5.1.1 序偶与笛卡儿积 166
5.1.2 关系的概念 170
5.1.3 关系的表示 172
5.2 关系的基本运算 176
5.2.1 关系的集合运算 176
5.2.2 关系的复合运算 177
5.2.3 幂关系与逆关系 180
5.3 关系的基本性质 184
5.3.1 关系的自反与反自反 184
5.3.2 关系的对称与反对称 185
5.3.3 关系的传递性 186
5.3.4 关系性质的判定 188
5.4 关系的性质闭包 190
5.4.1 关系闭包的概念 190
5.4.2 传递闭包的构造 192
5.4.3 关系闭包的性质 195
5.5 关系模型的应用 196
5.5.1 关系代数模型 196
5.5.2 关系演算模型 198
5.6 习题 199
第6章 特殊关系模型 202
6.1 等价关系与元素分类 202
6.1.1 等价关系与等价类 202
6.1.2 集合的划分与商集 205
6.2 相容关系与元素聚类 209
6.2.1 相容关系与相容类 209
6.2.2 集合的覆盖 212
6.3 偏序关系与元素比较 214
6.3.1 偏序关系与哈斯图 214
6.3.2 偏序集的特殊元素 217
6.3.3 全序与良序 221
6.4 特殊关系的应用 223
6.4.1 粗集定义问题 223
6.4.2 得分评判问题 224
6.5 习题 226
第7章 函数与特殊函数 229
7.1 函数的基本概念 229
7.1.1 函数的集合定义 229
7.1.2 函数的基本类型 232
7.1.3 常用特殊函数 235
7.2 函数的基本运算 235
7.2.1 函数的复合运算 236
7.2.2 函数的逆运算 238
7.2.3 函数的递归运算 240
7.3 集合的特征函数 241
7.3.1 特征函数的概念 242
7.3.2 特征函数的运算 242
7.4 有限集的置换函数 244
7.4.1 置换函数的概念 244
7.4.2 置换函数的运算 246
7.4.3 置换的轮换分解 247
7.5 函数关系的应用 249
7.5.1 哈希查找问题 249
7.5.2 宽带分配问题 251
7.6 习题 252
第8章 图的基本理论与算法 255
8.1 图的概念与表示 255
8.1.1 图模型的由来 255
8.1.2 图的定义与分类 256
8.1.3 图的表示方法 260
8.2 图的运算与结构 264
8.2.1 图的基本运算 264
8.2.2 图模型的度结构 268
8.2.3 图同构及其判定 272
8.3 图的通路与连通性 275
8.3.1 通路的概念与计数 275
8.3.2 可达性及其判定 280
8.3.3 无向图的连通性 283
8.3.4 有向图的连通性 288
8.4 图模型的基本算法 291
8.4.1 深度优先搜索 291
8.4.2 广度优先搜索 292
8.4.3 单源最短路径 294
8.4.4 多源最短路径 297
8.5 图模型的应用 302
8.5.1 交通灯相位问题 302
8.5.2 作业规划问题 303
8.5.3 机器学习问题 306
8.6 习题 308
第9章 树的基本理论与算法 312
9.1 无向树的基本知识 312
9.1.1 无向树的概念与性质 312
9.1.2 无向图的生成树 314
9.1.3 最小生成树 317
9.2 根树的基本知识 321
9.2.1 有向树与根树 321
9.2.2 根树的基本算法 325
9.2.3 前缀码与最优树 327
9.3 特殊根树与算法 330
9.3.1 平衡树模型 330
9.3.2 红黑树模型 332
9.3.3 B树模型 335
9.4 树模型的应用 339
9.4.1 找假币问题 339
9.4.2 轮流摸牌问题 341
9.4.3 关键道路问题 343
9.5 习题 344
第10章 特殊图模型与算法 347
10.1 欧拉图与哈密顿图 347
10.1.1 欧拉图及其性质 347
10.1.2 哈密顿图及其性质 351
10.1.3 中国邮路问题 355
10.2 二分图与匹配问题 356
10.2.1 二分图的概念与性质 357
10.2.2 完备匹配与最大匹配 359
10.2.3 最大匹配判定与构造 361
10.3 平面图与着色问题 364
10.3.1 平面图的概念与性质 364
10.3.2 平面图的对偶图 368
10.3.3 着色问题与算法 370
10.4 网络流图及其优化问题 376
10.4.1 流网络与切割 377
10.4.2 最大流求解算法 380
10.5 特殊图模型的应用 383
10.5.1 鼓轮设计问题 383
10.5.2 最优路线问题 384
10.5.3 稳定婚配问题 386
10.6 习题 388
附录A 抽象代数结构基本知识 392
参考文献 394