图书介绍
离散数学 修订版pdf电子书版本下载
- 邵学才，沈彤英，邓米克等编著 著
- 出版社： 北京：清华大学出版社
- ISBN：9787302220473
- 出版时间：2010
- 标注页数：252页
- 文件大小：9MB
- 文件页数：262页
- 主题词：离散数学－高等学校－教材
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 集合的基本运算 4
1.1.3 包含排斥原理 12
1.2 二元关系 15
1.2.1 引言 15
1.2.2 集合的笛卡儿乘积 15
1.2.3 二元关系的3种表示方法 17
1.2.4 关系的基本类型 19
1.2.5 等价关系与划分 25
1.2.6 偏序关系 30
1.2.7 复合关系与逆关系 36
1.2.8 关系的闭包运算 41
1.3 函数 44
1.3.1 函数的基本概念 44
1.3.2 特殊函数 47
1.3.3 复合函数与逆函数 50
习题 55
部分习题解答 62
第2章 命题逻辑 66
2.1 命题和联结词 66
2.1.1 命题和命题变元 66
2.1.2 命题联结词 67
2.2 真值表和逻辑等价 71
2.2.1 命题公式的真值表 71
2.2.2 逻辑等价 73
2.3 永真蕴含式 77
2.3.1 永真蕴含式的定义 77
2.3.2 永真蕴含式的性质 78
2.4 推理理论 79
2.4.1 前提与有效结论 79
2.4.2 直接证明法 81
2.4.3 间接证明法 84
2.5 范式 88
2.5.1 析取范式和主析取范式 88
2.5.2 合取范式和主合取范式 95
习题 100
部分习题解答 105
第3章 谓词逻辑 108
3.1 谓词逻辑的基本概念 108
3.1.1 谓词与命题函数 108
3.1.2 量词 110
3.1.3 谓词合式 114
3.1.4 约束元和自由元 114
3.2 等价式与永真蕴含式 116
3.2.1 等价式 116
3.2.2 前束范式 118
3.2.3 永真蕴含式 119
3.3 谓词演算的推理理论 121
习题 125
部分习题解答 127
第4章 代数系统 129
4.1 代数系统的基本概念 129
4.1.1 代数系统的定义 129
4.1.2 特殊运算与特殊元素 130
4.1.3 同构 137
4.2 半群与独异点 139
4.2.1 半群与子半群 139
4.2.2 独异点与子独异点 140
4.3 群 142
4.3.1 群的定义和性质 142
4.3.2 子群 146
4.3.3 循环群 150
4.3.4 群码 154
4.4 环和域 158
4.4.1 环和特殊环 158
4.4.2 域 160
4.5 格 163
4.5.1 格的基本概念 163
4.5.2 特殊格 166
习题 170
部分习题解答 175
第5章 图论 177
5.1 图的基本概念 177
5.1.1 图的基本类型 177
5.1.2 图中顶点的度数 178
5.1.3 正则图与完全图 179
5.1.4 子图 181
5.1.5 图的同构 181
5.1.6 补图 182
5.1.7 图的矩阵表示 183
5.2 图的连通性 186
5.2.1 通路与回路 186
5.2.2 连通图 187
5.3 欧拉图与哈密顿图 190
5.3.1 欧拉图 190
5.3.2 哈密顿图 193
5.3.3 旅行售货员问题 195
5.4 二部图与平面图 199
5.4.1 二部图 199
5.4.2 平面图 201
5.5 树 209
5.5.1 无向树 209
5.5.2 有向树 211
5.5.3 周游算法 213
5.5.4 前缀码与最优树 215
习题 219
部分习题解答 224
第6章 递推关系与生成函数 227
6.1 递推关系的基本概念 227
6.2 常系数线性递推关系 228
6.2.1 齐次常系数线性递推关系 228
6.2.2 非齐次常系数线性递推关系 232
6.3 生成函数 240
习题 244
部分习题解答 246
参考文献 248