图书介绍
离散数学PDF|Epub|txt|kindle电子书版本下载
- 孙道德主编；王敏生，王秀友副主编 著
- 出版社： 北京：清华大学出版社
- ISBN：9787302299431
- 出版时间：2013
- 标注页数：247页
- 文件大小：56MB
- 文件页数：257页
- 主题词：离散数学
PDF下载
下载说明
离散数学PDF格式电子书版下载
下载的文件为RAR压缩包。需要使用解压软件进行解压得到PDF格式图书。建议使用BT下载工具Free Download Manager进行下载,简称FDM(免费,没有广告,支持多平台）。本站资源全部打包为BT种子。所以需要使用专业的BT下载软件进行下载。如BitComet qBittorrent uTorrent等BT下载工具。迅雷目前由于本站不是热门资源。不推荐使用！后期资源热门了。安装了迅雷也可以迅雷进行下载！
（文件页数 要大于 标注页数，上中下等多册电子书除外）
注意：本站所有压缩包均有解压码： 点击下载压缩包解压工具
图书目录
第1篇 数理逻辑3
第1章 命题逻辑3
1.1命题及逻辑联结词3
1.2命题公式与真值函数9
1.3命题公式的等价与蕴涵13
1.4命题逻辑的推理理论18
1.5对偶与范式25
1.6其他逻辑联结词33
1.7逻辑联结词的功能完备集36
命题逻辑小结38
第2章 一阶谓词逻辑39
2.1基本概念39
2.2谓词合式公式与客体变元的约束44
2.3谓词公式的等价与蕴涵48
2.4谓词逻辑的推理理论53
2.5前束范式58
一阶谓词逻辑小结60
第2篇 集合与关系63
第3章 集合及其运算63
3.1集合的概念及其表示63
3.2集合的基本运算66
3.3集合中元素的计数72
集合及其运算小结78
第4章 二元关系79
4.1集合的笛卡儿积79
4.2二元关系83
4.3等价关系与集合的划分102
4.4相容关系与集合的覆盖106
4.5偏序关系108
二元关系小结114
第5章 函数115
5.1函数的概念115
5.2特殊的函数及特征函数117
5.3逆函数与复合函数120
5.4集合的势与无限集合123
函数小结126
第3篇 代数系统篇129
第6章 代数结构129
6.1代数系统的概念129
6.2代数系统的运算及其性质131
6.3半群与含么半群135
6.4群与子群138
6.5交换群与循环群143
6.6陪集与拉格朗日定理147
6.7同态与同构149
6.8环与域155
代数结构小结159
第7章 格与布尔代数167
7.1格的概念167
7.2分配格174
7.3有补格177
7.4布尔代数与布尔表达式179
格与布尔代数小结190
第4篇 图论篇195
第8章 图论195
8.1图的基本概念195
8.2图的通路与连通性201
8.3图的矩阵表示206
8.4图的着色212
图论小结214
第9章 特殊图形与算法218
9.1欧拉图及其应用218
9.2哈密顿图及其应用222
9.3平面图与对偶图224
9.4树与生成树228
9.5根树及其应用231
9.6图的匹配与匈牙利算法236
特殊图形与算法小结241
参考文献247