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

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

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

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

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

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

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

第1篇 数理逻辑 3

第1章 命题逻辑 3

1.1命题及逻辑联结词 3

1.2命题公式与真值函数 9

1.3命题公式的等价与蕴涵 13

1.4命题逻辑的推理理论 18

1.5对偶与范式 25

1.6其他逻辑联结词 33

1.7逻辑联结词的功能完备集 36

命题逻辑小结 38

第2章 一阶谓词逻辑 39

2.1基本概念 39

2.2谓词合式公式与客体变元的约束 44

2.3谓词公式的等价与蕴涵 48

2.4谓词逻辑的推理理论 53

2.5前束范式 58

一阶谓词逻辑小结 60

第2篇 集合与关系 63

第3章 集合及其运算 63

3.1集合的概念及其表示 63

3.2集合的基本运算 66

3.3集合中元素的计数 72

集合及其运算小结 78

第4章 二元关系 79

4.1集合的笛卡儿积 79

4.2二元关系 83

4.3等价关系与集合的划分 102

4.4相容关系与集合的覆盖 106

4.5偏序关系 108

二元关系小结 114

第5章 函数 115

5.1函数的概念 115

5.2特殊的函数及特征函数 117

5.3逆函数与复合函数 120

5.4集合的势与无限集合 123

函数小结 126

第3篇 代数系统篇 129

第6章 代数结构 129

6.1代数系统的概念 129

6.2代数系统的运算及其性质 131

6.3半群与含么半群 135

6.4群与子群 138

6.5交换群与循环群 143

6.6陪集与拉格朗日定理 147

6.7同态与同构 149

6.8环与域 155

代数结构小结 159

第7章 格与布尔代数 167

7.1格的概念 167

7.2分配格 174

7.3有补格 177

7.4布尔代数与布尔表达式 179

格与布尔代数小结 190

第4篇 图论篇 195

第8章 图论 195

8.1图的基本概念 195

8.2图的通路与连通性 201

8.3图的矩阵表示 206

8.4图的着色 212

图论小结 214

第9章 特殊图形与算法 218

9.1欧拉图及其应用 218

9.2哈密顿图及其应用 222

9.3平面图与对偶图 224

9.4树与生成树 228

9.5根树及其应用 231

9.6图的匹配与匈牙利算法 236

特殊图形与算法小结 241

参考文献 247