图书介绍
离散数学PDF|Epub|txt|kindle电子书版本网盘下载
- 孙道德，王敏生主编 著
- 出版社： 中国科学技术大学出版社
- ISBN：
- 出版时间：2010
- 标注页数：306页
- 文件大小：97MB
- 文件页数：315页
- 主题词：
PDF下载
下载说明
离散数学PDF格式电子书版下载
下载的文件为RAR压缩包。需要使用解压软件进行解压得到PDF格式图书。建议使用BT下载工具Free Download Manager进行下载,简称FDM(免费,没有广告,支持多平台）。本站资源全部打包为BT种子。所以需要使用专业的BT下载软件进行下载。如BitComet qBittorrent uTorrent等BT下载工具。迅雷目前由于本站不是热门资源。不推荐使用！后期资源热门了。安装了迅雷也可以迅雷进行下载！
（文件页数 要大于 标注页数，上中下等多册电子书除外）
注意：本站所有压缩包均有解压码： 点击下载压缩包解压工具
图书目录
第1篇 数理逻辑1
第1-1章 命题逻辑1
1-1-1 命题、逻辑联结词与真值表2
1-1-2 命题公式与真值函数9
1-1-3 公式的等价与蕴涵13
1-1-4 命题逻辑的推理理论18
1-1-5 对偶与范式26
1-1-6 其他逻辑联结词35
1-1-7 逻辑联结词的功能完备集39
第1-2章 一阶谓词逻辑42
1-2-1 基本概念42
1-2-2 谓词合式公式与客体变元的约束46
1-2-3 谓词公式的等价与蕴涵53
1-2-4 谓词逻辑的推理理论60
1-2-5 前束范式66
第2篇 集合与关系69
第2-1章 集合及其运算69
2-1-1 集合的概念及其表示69
2-1-2 集合的基本运算74
2-1-3 集合中元素的计数82
第2-2章 二元关系91
2-2-1 集合的笛卡儿积91
2-2-2 二元关系的基本概念及其表示95
2-2-3 关系的运算97
2-2-4 关系的性质102
2-2-5 关系的闭包运算106
2-2-6 等价关系与集合的划分113
2-2-7 相容关系与集合的覆盖118
2-2-8 序关系121
第2-3章 函数130
2-3-1 函数的概念130
2-3-2 逆函数与复合函数133
2-3-3 基数、可数集与不可数集137
第3篇 代数系统篇147
第3-1章 代数结构147
3-1-1 代数系统的概念147
3-1-2 代数系统的运算及其性质149
3-1-3 半群与含幺半群155
3-1-4 群与子群160
3-1-5 交换群与循环群、置换群165
3-1-6 陪集与拉格朗日定理171
3-1-7 同态与同构174
3-1-8 环与域181
第3-2章 格与布尔代数194
3-2-1 格的概念194
3-2-2 分配格203
3-2-3 有补格207
3-2-4 布尔代数与布尔表达式210
第4篇 图论229
第4-1章 无向图和有向图229
4-1-1 图的基本概念230
4-1-2 图的道路与连通性239
4-1-3 图的矩阵表示248
4-1-4 图的着色256
第4-2章 基本图类和算法262
4-2-1 树与生成树262
4-2-2 根树及其应用267
4-2-3 平面图与对偶图275
4-2-4 欧拉图及其应用281
4-2-5 哈密顿图及其应用287
4-2-6 图的匹配与匈牙利算法292
附录 各章知识结识图299