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

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

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

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

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

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

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

第一章 集合 1

1 基本概念 1

2 关系 4

3 等价关系 8

4 部分序关系 13

5 映射 16

第二章 命题逻辑 21

1 基本概念 21

2 范式 26

3 公式的蕴涵 34

4 定理证明的自动化 43

第三章 一阶逻辑 49

1 谓词与量词 49

2 公式 53

3 范式 57

4 例 63

第四章 格与布尔代数 68

1 引言 68

2 格的定义 69

3 格的性质 74

4 几种特殊的格 81

5 布尔代数 87

6 有限布尔代数的结构 92

7 布尔表达式的化简 102

第五章 图 118

1 图 118

2 树 124

3 有向图与有向树 130

4 Euler路 135

5 Hamilton路 138

6 K？nig无限性引理 150

第六章 整数 155

1 整除性 辗转相除 155

2 互质 质因数分解 161

3 合同 164

4 秦九韶定理 Euler函数 168

第七章 群环域 172

1 置换 172

2 群的定义 177

3 子群及其陪集 182

4 同态与同构 189

5 环 194

6 环同态 200

7 域 206

第八章 有限自动机 211

1 有限自动机的基本概念 211

2 内动机及其结构 215

3 驱动机及其结构 220

4 简化问题 227

5 未完全确定的有限自动机 236

第九章 Tuting机与可计算性 247

1 Turtiug机 247

2 可计算函数 251

3 可计算函数的运算 256

4 递归函数 269