图书介绍
离散数学PDF|Epub|txt|kindle电子书版本网盘下载
- 尤枫，颜可庆编著 著
- 出版社： 北京：机械工业出版社
- ISBN：7111115090
- 出版时间：2003
- 标注页数：248页
- 文件大小：11MB
- 文件页数：258页
- 主题词：
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.2 命题公式和真值表4
1.2.1 命题公式4
1.2.2 命题的翻译5
1.2.3 真值表6
1.2.4 永真式与永假式7
1.3 等价式和蕴涵式8
1.3.1 等价式8
1.3.2 蕴涵式11
1.4 扩充的联结词和全功能联结词集13
1.4.1 扩充的联结词13
1.4.2 全功能联结词集15
1.5 对偶式17
1.6.1 析取范式与合取范式19
1.6 命题范式19
1.6.2 主析取范式与主合取范式21
1.7 命题演算的推理理论30
1.7.1 推理的基本概念30
1.7.2 推理的方法30
1.8 习题37
2.1 谓词逻辑的基本概念41
2.1.1 谓词的概念和表示41
第2章 谓词逻辑41
2.1.2 命题函数和量词42
2.2 谓词公式与翻译44
2.2.1 谓词公式44
2.2.2 谓词逻辑中命题的翻译45
2.2.3 变元的约束46
2.3 谓词演算的永真式48
2.3.1 谓词公式的真值48
2.3.2 谓词演算的永真式49
2.3.3 永真式的变换规则52
2.4 前束范式53
2.5 谓词演算的推理理论55
2.5.1 推理规则55
2.5.2 推理应用举例57
2.6 习题59
第3章 集合论63
3.1 基本概念63
3.1.1 概述63
3.1.3 集合的包含关系64
3.1.2 集合的表示法64
3.2 集合的运算67
3.2.1 文氏图67
3.2.2 集合的交67
3.2.3 集合的并68
3.2.4 集合的补69
3.2.5 集合的对称差69
3.3 集合成员表70
3.4 集合定律71
3.5 习题75
第4章 关系78
4.1 序偶与笛卡尔积78
4.2 关系及其表示80
4.3 关系距阵与关系图82
4.4 关系的性质83
4.5 关系的运算84
4.5.1 关系的逆运算84
4.5.2 关系的复合运算86
4.5.3 关系的幂运算89
4.5.4 关系的闭包运算90
4.6 集合的划分与完全覆盖95
4.7 等价关系与等价类96
4.8 相关关系与最大相容类98
4.9 次序关系100
4.10 习题104
第5章 函数108
5.1 基本概念108
5.2 复合函数和逆函数110
5.3 置换与轮换113
5.4 集合的特征函数116
5.5 集合的基数118
5.6 习题124
第6章 代数系统127
6.1 运算及其性质127
6.2 代数系统133
6.3 同态与同构134
6.4 同余关系138
6.5 商代数与积代数140
6.6 习题145
第7章 半群与群149
7.1 半群与独异点149
7.2 群与子群153
7.3 交换群与循环群158
7.4 交换群与置换群161
7.5 陪集、正规子群与商群163
7.6 习题170
第8章 环和域173
8.1 环和子环173
8.2 理想176
8.3 域177
8.4 习题178
第9章 格与布尔代数179
9.1 格179
9.1.1 偏序集定义的格179
9.1.2 代数系统定义的格182
9.1.3 子格与格的同态184
9.2 分配格和有补格187
9.2.1 分配格187
9.2.2 有补格188
9.3 布尔代数与布尔表达式189
9.3.1 布尔代数189
9.3.2 布尔表达式190
9.4 习题192
10.1.1 图的定义194
第10章 图194
10.1 图的基本概念194
10.1.2 图的相关术语196
10.1.3 伪图、多重图和简单图197
10.1.4 完全图198
10.1.5 子图及图的同构199
10.1.6 图的同构200
10.2 图的连通性202
10.2.1 通路和回路202
10.2.2 图的连通性203
10.2.3 连通度205
10.3 图的矩阵表示207
10.3.1 关联矩阵207
10.3.2 邻接矩阵208
10.3.3 可达矩阵211
10.4 欧拉图与哈密尔顿图214
10.4.1 欧拉图214
10.4.2 哈密尔顿图217
10.5.1 赋权图与最短通路的算法220
10.5 最短通路问题220
10.5.2 旅行推销员问题221
10.6 习题222
第11章 特殊图227
11.1 二分图227
11.2 平面图229
11.2.1 平面图的基本概念230
11.2.2 平面图的欧拉公式231
11.2.3 平面图的判定233
11.2.4 对偶图与平面图的着色233
11.3 树235
11.3.1 树的定义235
11.3.2 生成树与最小生成树237
11.3.3 有向树239
11.3.4 最优二元树242
11.4 习题244
参考文献248