图书介绍
软件工程系列规划教材 离散数学PDF|Epub|txt|kindle电子书版本网盘下载
- 郝林，黄亚群，李劲编著 著
- 出版社： 北京：科学出版社
- ISBN：9787030343444
- 出版时间：2012
- 标注页数：306页
- 文件大小：15MB
- 文件页数：315页
- 主题词：离散数学－高等学校－教材
PDF下载
下载说明
软件工程系列规划教材 离散数学PDF格式电子书版下载
下载的文件为RAR压缩包。需要使用解压软件进行解压得到PDF格式图书。建议使用BT下载工具Free Download Manager进行下载,简称FDM(免费,没有广告,支持多平台）。本站资源全部打包为BT种子。所以需要使用专业的BT下载软件进行下载。如BitComet qBittorrent uTorrent等BT下载工具。迅雷目前由于本站不是热门资源。不推荐使用！后期资源热门了。安装了迅雷也可以迅雷进行下载！
（文件页数 要大于 标注页数，上中下等多册电子书除外）
注意：本站所有压缩包均有解压码： 点击下载压缩包解压工具
图书目录
第一篇 数理逻辑3
第1章 命题逻辑3
1.1 命题及命题联结词3
1.2 命题公式及其类型10
1.3 等价式与蕴涵式14
1.4 对偶与范式20
1.5 推理与证明33
1.6 命题逻辑的应用39
小结43
习题一44
第2章 谓词逻辑50
2.1 谓词逻辑基本概念50
2.2 谓词公式及命题符号化53
2.3 变元的约束56
2.4 谓词演算的等价式和蕴涵式58
2.5 谓词公式的范式62
2.6 谓词演算的推理理论65
小结69
习题二70
第二篇 集合论77
第3章 集合论基础77
3.1 集合的基本概念77
3.2 集合的运算80
3.3 集合的划分与覆盖85
3.4 包含排斥原理87
3.5 数学归纳法89
3.6 集合的计算机表示92
小结93
习题三94
第4章 二元关系98
4.1 关系的概念98
4.2 关系的性质103
4.3 关系的运算105
4.4 关系的闭包运算113
4.5 等价关系和等价类121
4.6 相容关系和相容类125
4.7 序关系和哈斯图128
4.8 关系的应用132
小结135
习题四136
第5章 函数141
5.1 函数的概念141
5.2 函数的运算145
5.3 集合的基数149
5.4 基数的比较155
5.5 特征函数的应用157
小结158
习题五159
第三篇 图论165
第6章 图论165
6.1 图的基本概念165
6.2 路和图的连通性170
6.3 图的矩阵表示176
6.4 欧拉图和哈密尔顿图186
6.5 平面图及对偶图192
6.6 图的着色197
6.7 树与生成树199
6.8 根树及其应用205
6.9 最短路径问题210
6.10 图论的应用211
小结219
习题六220
第四篇 代数系统229
第7章 代数结构229
7.1 代数系统的基本概念229
7.2 半群与独异点236
7.3 群与子群239
7.4 阿贝尔群与循环群245
7.5 陪集与拉格朗日定理249
7.6 同态与同构253
7.7 环与域260
小结268
习题七269
第8章 格与布尔代数274
8.1 格274
8.2 特殊格283
8.3 布尔代数290
8.4 布尔表达式296
小结301
习题八302
参考文献306