图书介绍
离散数学pdf电子书版本下载
- 黄天发编著 著
- 出版社： 成都：电子科技大学出版社
- ISBN：7810431684
- 出版时间：1995
- 标注页数：430页
- 文件大小：17MB
- 文件页数：439页
- 主题词：
PDF下载
下载说明
离散数学PDF格式电子书版下载
下载的文件为RAR压缩包。需要使用解压软件进行解压得到PDF格式图书。建议使用BT下载工具Free Download Manager进行下载,简称FDM(免费,没有广告,支持多平台）。本站资源全部打包为BT种子。所以需要使用专业的BT下载软件进行下载。如 BitComet qBittorrent uTorrent等BT下载工具。迅雷目前由于本站不是热门资源。不推荐使用！后期资源热门了。安装了迅雷也可以迅雷进行下载！
（文件页数 要大于 标注页数，上中下等多册电子书除外）
注意：本站所有压缩包均有解压码： 点击下载压缩包解压工具
图书目录
第一章 数理逻辑 1
1.1 数理逻辑简介 1
1.2 命题逻辑 1
1.2.1 命题和命题联结词 2
1.2.2 合式公式与真值函数 7
1.2.3 命题逻辑的等值演算 11
1.2.4 联结词的全功能集合 14
1.2.5 对偶原理 16
1.2.6 范式 17
1.2.7 推理理论 24
习题1.2 33
1.3 一阶逻辑 36
1.3.1 一阶逻辑的基本概念 37
1.3.2 一阶逻辑的合式公式及解释 43
1.3.3 一阶逻辑中的等价式和蕴涵式 47
1.3.4 范式 50
1.3.5 推理理论 53
习题1.3 56
1.4 应用举例 61
第二章 集合论 67
2.1 集合的基本概念及运算 67
2.2 集合的概念及表示法 67
习题2.1.1 70
2.1.2 集合的运算 70
习题2.1.2 78
2.1.3 集合中元素的计数 80
习题2.1.3 82
2.2 二元关系 83
2.2.1 有序对与笛卡儿积 83
2.2.2 二元关系的表示及运算 86
习题2.2.1 86
习题2.2.2 99
2.2.3 关系的性质及闭包运算 100
习题2.2.3 111
2.2.4 等价关系、相容关系和序关系 113
习题2.2.4 125
2.3 函数(映射) 127
2.3.1 函数的定义和性质 127
习题2.3.1 133
2.3.2 函数的合成和反函数 134
习题2.3.2 139
2.4 集合成员表和集合的特征函数 139
习题2.4 143
2.5.1 自然数集合与数学归纳法 144
2.5 集合的基数 144
习题2.5.1 148
2.5.2 集合的等势 148
习题2.5.2 153
2.5.3 集合的基数 153
习题 2.5.3 156
第三章 代数系统 157
3.1 代数系统 157
3.1.1 代数运算及二元运算的性质 157
3.1.2 代数系统的基本概念 164
习题3.1(1) 166
3.1.3 同态与同构 168
3.1.4 同余关系 173
3.1.5 商代数与 积代数 176
习题3.1(2) 180
3.2.1 半群和独异点 181
3.2 群 181
习题3.2.1 186
3.2.2 群的定义及基本性质、子群 187
习题3.2.2 193
3.2.3 循环群和置换群 195
习题3.2.3 207
3.2.4 陪集和拉格朗日定理 208
习题3.2.4 212
3.2.5 正规子群与商群 213
习题3.2.5 216
3.2.6 群同态与群同态基本定理 217
习题3.2.6 224
3.2.7 群的积代数 225
3.3.1 环的定义及基本性质 226
3.3 环和域 226
3.3.2 整环和域 230
3.3.3 子环、理想和商环 232
3.3.4 环同态与环同态基本定理 239
习题3.3 245
3.4 格与布尔代数 248
3.4.1 格的定义及基本性质 248
3.4.2 格的另一定义形式 253
3.4.3 子格、格同态和 格的直积 254
3.4.4 几种特殊的格 258
3.4.5 布尔代数的定义及基本性质 265
3.4.6 布尔代数的子代数及同态 266
3.4.7 布尔函数 272
习题3.4 275
4.1 图的基本概念 280
4.1.1 图的概念 280
第四章 图论 280
习题4.1.1 289
4.1.2 路及图的连通性 292
习题4.1.2 299
4.1.3 图的矩阵表示 301
习题4.1.3 313
4.1.4 最短路径、关键路径 313
习题4.1.4 319
4.2 欧拉图、哈密尔顿图 320
4.2.1 欧拉图 320
4.2.2 哈密尔顿图 323
4.2.3 应用举例 329
习题4.2 333
4.3 树 336
4.3.1 无向树的定义及其性质 337
4.3.2 生成树 339
4.3.3 最小生成树 345
4.3.4 有向树 348
4.3.5 应用举例 354
习题4.3 360
4.4 平面图 363
4.4.1 平面图的基本概念 363
4.4.2 欧拉公式 366
4.4.3 库拉托夫斯基定理 370
4.4.4 对偶图与 图的着色问题 375
习题4.4 381
4.5 偶图与匹配 384
习题4.5 393
附录：部分习题的提示或解答 395
参考书 419
索引 420