图书介绍
卓越工程师教育培养计算机类创新系列规划教材 离散数学PDF|Epub|txt|kindle电子书版本网盘下载
- 杨振启主编；涂为员，戴磊，杨文国副主编 著
- 出版社： 北京：科学出版社
- ISBN：9787030466075
- 出版时间：2015
- 标注页数：190页
- 文件大小：59MB
- 文件页数：199页
- 主题词：离散数学－教材
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.2 命题联结词2
1.1.3 命题表达式5
1.1.4 真值表的构造6
1.1.5 命题符号化7
1.2 重言式8
1.2.1 命题公式分类8
1.2.2 重言式9
1.2.3 逻辑等价9
1.2.4 代入规则与替换规则11
1.2.5 对偶原理13
1.3 公式中的范式15
1.3.1 析取范式和合取范式15
1.3.2 主析取范式17
1.3.3 主合取范式21
1.4 命题联结词的扩充与归约23
1.4.1 命题联结词的扩充24
1.4.2 命题联结词的归约25
1.5 基于命题的推理26
1.5.1 基于真值表的推理26
1.5.2 基于推理规则的推理27
1.5.3 应用实例28
1.6 习题31
第二章 谓词逻辑34
2.1 谓词公式34
2.1.1 个体词34
2.1.2 谓词34
2.1.3 量词35
2.1.4 命题符号化35
2.1.5 谓词公式36
2.2 约束36
2.2.1 约束部分36
2.2.2 换名规则和代替规则37
2.2.3 公式的解释37
2.3 谓词公式中的永真式38
2.3.1 谓词公式的等价38
2.3.2 谓词公式的类型39
2.4 谓词公式中的范式40
2.5 谓词推理40
2.5.1 推理规则41
2.5.2 举例41
2.6 习题42
第三章 集合论44
3.1 基本概念44
3.1.1 集合的概念44
3.1.2 集合的表示方法44
3.1.3 元素与集合45
3.2 集合间的关系46
3.3 集合的运算48
3.3.1 集合的基本运算48
3.3.2 集合的运算律50
3.3.3 例题52
3.4 包含排斥原理53
3.5 幂集合与笛卡儿积56
3.5.1 幂集合56
3.5.2 笛卡儿积57
3.6 集合运算与基数概念的扩展59
3.6.1 并集、交集的扩展59
3.6.2 基数概念的扩展60
3.7 习题61
第四章 二元关系64
4.1 基本概念64
4.1.1 二元关系的定义64
4.1.2 关系的表示66
4.2 关系的运算66
4.2.1 关系的并、交、补、差、对称差运算66
4.2.2 关系的复合运算67
4.2.3 关系的逆运算69
4.3 关系的性质70
4.3.1 关系性质的概念70
4.3.2 关系性质举例71
4.3.3 关系性质在关系图及关系矩阵中的特征71
4.4 关系的闭包72
4.4.1 闭包的定义72
4.4.2 关系R的闭包求法72
4.4.3 传递闭包的Warshall算法74
4.4.4 闭包的复合76
4.5 集合的划分和覆盖77
4.6 序关系78
4.6.1 偏序关系与偏序集的概念78
4.6.2 偏序集的哈斯图79
4.6.3 偏序集中的特殊元80
4.6.4 全序集与良序集81
4.7 等价关系与等价类81
4.8 函数84
4.8.1 函数的概念84
4.8.2 逆函数与复合函数86
4.9 习题89
第五章 图论93
5.1 若干图论经典问题93
5.1.1 哥尼斯堡七桥问题93
5.1.2 四色问题和哈密顿环游世界问题94
5.1.3 平面图和印刷电路板的设计94
5.1.4 运输网络95
5.1.5 通讯网络95
5.1.6 二叉树的应用96
5.1.7 最短路问题96
5.2 图的基本概念及矩阵表示方法96
5.2.1 图的基本概念96
5.2.2 图的矩阵表示方法100
5.3 路与连通度102
5.4 欧拉图与哈密顿图108
5.5 二部图与匹配110
5.6 平面图112
5.6.1 平面图及其性质112
5.6.2 平面图着色115
5.7 树116
5.7.1 树及其性质116
5.7.2 最小生成树118
5.7.3 有向树120
5.8 习题124
第六章 初等数论128
6.1 整数和除法128
6.2 整数128
6.3 素数130
6.4 最大公约数和最小公倍数133
6.5 同余135
6.6 一次同余方程137
6.7 中国剩余定理138
6.8 欧拉定理和费马小定理139
6.9 习题140
第七章 代数系统143
7.1 二元运算及性质143
7.1.1 二元运算的定义143
7.1.2 二元运算的性质144
7.2 代数系统148
7.2.1 代数系统的定义与实例148
7.2.2 代数系统的同构与同态149
7.3 半群153
7.3.1 半群153
7.3.2 单位元和逆元155
7.4 群158
7.4.1 群的定义158
7.4.2 群的同态162
7.4.3 循环群164
7.4.4 变换群168
7.4.5 置换群170
7.4.6 子群174
7.4.7 子群的陪集178
7.4.8 正规子群和商群181
7.5 环和域简介182
7.5.1 环183
7.5.2 域185
7.6 习题186
参考文献190