图书介绍
离散数学PDF|Epub|txt|kindle电子书版本网盘下载
- 朱保平编著 著
- 出版社： 北京：清华大学出版社
- ISBN：9787302520313
- 出版时间：2019
- 标注页数：288页
- 文件大小：78MB
- 文件页数：299页
- 主题词：离散数学
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 合式公式6
1.1.4 命题逻辑的应用6
1.2 真假性9
1.2.1 解释9
1.2.2 等价公式10
1.2.3 联结词的完备集12
1.2.4 对偶式和内否式13
1.3 范式及其应用15
1.3.1 范式15
1.3.2 主范式17
1.3.3 范式的应用20
1.4 典型例题21
习题23
第2章 命题演算的推理理论26
2.1 命题演算的公理系统26
2.1.1 公理系统的组成部分27
2.1.2 公理系统的推理过程28
2.2 若干重要的导出规则30
2.2.1 分离规则的讨论30
2.2.2 公理和定理的导出规则30
2.3 命题演算的假设推理系统32
2.3.1 假设推理系统的组成32
2.3.2 假设推理系统的推理过程33
2.3.3 额外假设推理法35
2.4 命题演算的归结推理法37
2.4.1 归结证明过程38
2.4.2 归结证明示例39
2.5 典型例题40
习题43
第3章 谓词演算基础45
3.1 谓词和个体45
3.1.1 个体45
3.1.2 谓词45
3.2 函数项和量词48
3.2.1 函数项48
3.2.2 量词49
3.3 自由变元和约束变元51
3.3.1 自由出现和约束出现51
3.3.2 改名和代入51
3.4 永真性和可满足性53
3.4.1 真假性53
3.4.2 同真假性、永真性和可满足性55
3.4.3 范式58
3.5 唯一性量词和摹状词59
3.5.1 唯一性量词59
3.5.2 摹状词60
3.6 典型例题61
习题62
第4章 谓词演算的推理理论65
4.1 谓词演算的永真推理系统65
4.1.1 公理系统的组成部分65
4.1.2 公理系统的推理过程67
4.2 谓词演算的假设推理系统68
4.2.1 假设推理系统的组成及证明方法68
4.2.2 定理的假设推导过程69
4.3 谓词演算的归结推理系统71
4.3.1 置换72
4.3.2 归结反演系统72
4.3.3 霍恩子句逻辑程序75
4.4 Prolog简介78
4.5 典型例题80
习题82
第5章 递归函数论85
5.1 数论函数和数论谓词85
5.1.1 数论函数85
5.1.2 数论谓词和特征函数86
5.2 函数的构造88
5.2.1 迭置法88
5.2.2 算子法90
5.2.3 原始递归函数91
5.3 典型例题92
习题92
第6章 集合94
6.1 集合的基本概念94
6.1.1 集合的定义94
6.1.2 集合的表示95
6.1.3 集合的包含关系96
6.1.4 集合的特点97
6.1.5 多重集97
6.2 集合的基本运算98
6.2.1 集合的并、交、差98
6.2.2 集合的对称差99
6.2.3 文氏图100
6.2.4 集合的幂集合101
6.2.5 多个集合的并与交101
6.3 全集和补集102
6.3.1 全集和补集的定义102
6.3.2 基本运算定理103
6.3.3 集合的计算机表示104
6.4 自然数与自然数集105
6.4.1 后继105
6.4.2 自然数和自然数集105
6.4.3 皮亚诺公理假设106
6.4.4 自然数集的性质107
6.4.5 集合的递归定义与递归子程序108
6.5 包含与排斥原理110
6.6 典型例题112
习题113
第7章 关系118
7.1 集合的笛卡儿积集118
7.1.1 有序二元组118
7.1.2 笛卡儿积集118
7.1.3 有序n元组、n个集合的笛卡儿积集119
7.2 二元关系的基本概念120
7.2.1 二元关系120
7.2.2 二元关系的表示120
7.2.3 二元关系与数据结构122
7.2.4 二元关系的运算122
7.3 n元关系及其运算125
7.3.1 n元关系125
7.3.2 n元关系的运算125
7.4 二元关系的性质128
7.4.1 自反性、反自反性、对称性、反对称性、传递性和反传递性128
7.4.2 二元关系性质的判定定理130
7.5 二元关系的闭包运算132
7.5.1 自反闭包、对称闭包和传递闭包132
7.5.2 闭包的判定定理132
7.6 等价关系和集合的划分137
7.6.1 等价关系和等价类137
7.6.2 商集合138
7.6.3 集合的划分138
7.7 偏序关系和格141
7.7.1 偏序关系和偏序集141
7.7.2 哈斯图142
7.7.3 链、反链、全序集142
7.7.4 极大元、极小元、最大元和最小元143
7.7.5 上界、下界、最小上界和最大下界143
7.7.6 格144
7.7.7 拓扑排序145
7.8 粗糙集概论147
7.8.1 知识与知识分类147
7.8.2 集合近似与粗糙集概念150
7.9 典型例题151
习题152
第8章 函数与集合的势157
8.1 函数的基本概念157
8.1.1 函数（映射）的定义157
8.1.2 函数的性质159
8.2 函数的复合和逆函数160
8.2.1 函数的复合160
8.2.2 左可逆函数、右可逆函数和逆函数162
8.3 无限集164
8.3.1 势164
8.3.2 有限集和无限集166
8.3.3 可数无限集和不可数无限集166
8.4 集合势大小的比较168
8.4.1 集合势的大小168
8.4.2 伯恩斯坦定理169
8.5 鸽巢原理169
8.6 典型例题171
习题172
第9章 图论175
9.1 图的基本概念175
9.1.1 有向图和无向图176
9.1.2 图的同构、子图和补图177
9.1.3 顶点的度178
9.2 图中的通路、图的连通性和图的矩阵表示179
9.2.1 通路、回路和连通性179
9.2.2 图的矩阵表示181
9.3 带权图与带权图中的最短通路184
9.4 欧拉图187
9.5 哈密顿图190
9.6 二部图194
9.7 平面图与平面图的着色197
9.7.1 平面图197
9.7.2 平面图的着色200
9.8 典型例题203
习题204
第10章 树和有序树209
10.1 树的基本概念209
10.2 连通图的生成树和带权连通图的最小生成树211
10.3 有序树214
10.3.1 根树214
10.3.2 根树的应用216
10.4 前缀码和最优2-分树218
10.4.1 前缀码218
10.4.2 最优2-分树220
10.4.3 赫夫曼编码222
10.5 典型例题224
习题226
第11章 群和环229
11.1 代数运算的基本概念229
11.1.1 代数运算229
11.1.2 交换律、结合律230
11.1.3 n元运算231
11.2 代数系统和半群232
11.2.1 代数系统232
11.2.2 同态映射和同构映射233
11.2.3 半群与含幺半群235
11.3 群的基本概念236
11.3.1 逆元236
11.3.2 群的定义237
11.3.3 群的同态、同构240
11.3.4 无限群、有限群、交换群和元的阶242
11.4 群的几个等价定义244
11.5 变换群和置换群245
11.5.1 变换群246
11.5.2 置换群247
11.6 循环群250
11.7 子群252
11.7.1 子群的定义252
11.7.2 子群的判定定理252
11.8 子群的陪集254
11.8.1 按子群划分的剩余类254
11.8.2 右陪集254
11.8.3 左陪集256
11.8.4 拉格朗日定理257
11.9 正规子群和商群259
11.9.1 正规子群259
11.9.2 商群260
11.10 环和域262
11.10.1 环、子环与理想263
11.10.2 交换环和整环264
11.10.3 除环和域264
11.11 典型例题265
习题268
第12章 格与布尔代数271
12.1 格定义的代数系统271
12.2 格的代数定义273
12.2.1 格的代数定义273
12.2.2 子格275
12.2.3 格的同态和同构275
12.3 一些特殊的格276
12.3.1 分配格276
12.3.2 布尔格和布尔代数278
12.4 有限布尔代数的唯一性279
12.4.1 原子279
12.4.2 有限布尔代数非零元素的表达279
12.4.3 布尔代数的同构280
12.5 布尔表达式和布尔函数282
12.5.1 布尔表达式282
12.5.2 布尔函数283
12.6 典型例题285
习题286
参考文献288