离散数学 第2版pdf电子书版本下载

点此进入-本书在线PDF格式电子书下载【推荐-云解压-方便快捷】直接下载PDF格式图书。移动端-PC端通用
种子下载[BT下载速度快] 温馨提示：（请使用BT下载软件FDM进行下载）软件下载地址页 直链下载[便捷但速度慢]   [在线试读本书]   [在线获取解压码]

离散数学 第2版PDF格式电子书版下载

下载的文件为RAR压缩包。需要使用解压软件进行解压得到PDF格式图书。

建议使用BT下载工具Free Download Manager进行下载,简称FDM(免费,没有广告,支持多平台）。本站资源全部打包为BT种子。所以需要使用专业的BT下载软件进行下载。如 BitComet qBittorrent uTorrent等BT下载工具。迅雷目前由于本站不是热门资源。不推荐使用！后期资源热门了。安装了迅雷也可以迅雷进行下载！

（文件页数 要大于 标注页数，上中下等多册电子书除外）

注意：本站所有压缩包均有解压码： 点击下载压缩包解压工具

第1章　绪论 1

1.1　离散数学的研究对象 1

目录 1

1.2　离散数学的主要内容 2

1.3　学习离散数学的方法 2

第2章　数理逻辑 3

2.1　命题 4

2.1.1　命题的概念 4

2.1.2　命题的表示 4

2.2　命题联结词 5

2.2.1　联结词的定义 6

2.2.2　命题逻辑中联结词的最小集 9

2.3.1　合式公式 10

2.3.2　语句的符号化 10

2.3　命题的合式公式 10

2.4　真值表、永真式和永假式 11

2.4.1　真值表 11

2.4.2　永真式和永假式 13

2.5　公式的等价和蕴含 14

2.5.1　公式的等价 14

2.5.2　公式的蕴含 17

2.6　公式的主范式 19

2.6.1　主析取范式 19

2.6.2　主合取范式 22

2.7　命题演算的推理理论 23

2.7.1　有效推理的概念 24

2.7.2　有效推理的方法 24

2.8　命题逻辑和二值逻辑器件 27

2.9　一阶谓词逻辑 31

2.10.1　命题函数 33

2.10　命题函数和个体变量及量词 33

2.10.2　量词 34

2.11　谓词公式 35

2.11.1　谓词公式 35

2.11.2　变量的约束和替换 37

2.11.3　谓词演算中的等价与蕴含 39

2.12　谓词演算的推理理论 43

习题 46

第3章　集合和关系 52

3.1　集合和集合的运算 52

3.1.1　集合的基本概念 52

3.1.2　集合的运算 53

3.1.3　集合运算中的恒等式 56

3.1.4　序偶和笛卡尔积 58

3.2.1　关系及其表示法 59

3.2　关系 59

3.2.2　几种特殊的关系 62

3.2.3　关系的运算 65

3.3　等价关系和集合的划分 73

3.3.1　等价关系 73

3.3.2　等价关系与划分 75

3.4　序关系和哈斯图 76

3.4.1　序关系 76

3.4.2　偏序关系的哈斯图 76

3.4.3　偏序集中的某些特殊元素 77

3.5　函数及其运算 79

3.5.1　函数的概念 80

3.5.2　函数的复合 82

3.5.3　逆函数 84

习题 85

4.2　数函数的基本运算 90

第4章　数函数和递推关系 90

4.1　数函数概念 90

4.3　数函数的母函数 92

4.4　递推关系 95

4.4.1　常系数线性递推关系 95

4.4.2　用母函数求解数函数的通式 97

习题 98

第5章　图论 100

5.1　图的基本概念和术语 100

5.2　路和回路 103

5.3　图的矩阵表示 107

5.4　树和生成树 110

5.4.1　无向树的概念 110

5.4.2　最小生成树 111

5.5.1　有向树的概念 112

5.5　有向树及其应用举例 112

5.5.2　根树的一个应用举例 114

5.6　欧拉图与哈密顿图 115

5.6.1　欧拉图 115

5.6.2　欧拉定理的一个应用举例 117

5.6.3　哈密顿图 118

5.7　最短路径与最长路径问题 120

5.7.1　最短路径 120

5.7.2　最长路径 123

5.8　平面图 126

习题 130

第6章　代数系统 135

6.1　运算和代数系统 135

6.1.1　运算的概念 135

6.1.2　运算的性质 137

6.2　半群和独异点 138

6.3　群和子群 140

6.3.1　群的概念 140

6.3.2　子群的概念 143

6.4　阿贝尔群和循环群 144

6.4.1　阿贝尔（Abel）群 144

6.4.2　循环群 146

6.5　置换群和伯恩赛德定理 147

6.5.1　置换群 147

6.5.2　伯恩赛德（Burnside）定理 149

6.6　陪集和正规子群 152

6.7　拉格朗日定理 154

6.8　同态、同构和同余 155

6.8.1　同态和同构 155

6.8.2　同余关系和同态 159

6.9　环和域 161

习题 164

第7章　格与布尔代数 168

7.1　偏序集、格和格代数 168

7.1.1　偏序和格 168

7.1.2　对偶原理 170

7.1.3　格的初等性质 170

7.1.4　格与代数系统的对应 172

7.2　有补格和分配格 173

7.3　布尔代数 176

7.4　布尔表达式 178

7.5　布尔函数的表示及极小化 184

7.5.1　布尔函数的表示法 185

7.5.2　布尔函数的极小化 187

习题 190

参考文献 194