离散数学及其在计算机中的应用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 集合的子集 2

3 全集和空集 3

4 集合的运算、文氏图 5

5 有限集合中的元素数目 13

习题一 16

第二章 关系 19

1 关系的基本概念 19

2 关系的性质 22

3 关系的运算 23

4 关系的闭包运算 30

5 具有特定性质的关系 33

习题二 38

第三章 映射与无限集 41

1 映射 41

2 无限集 47

习题三 54

第四章 近世代数 57

1 代数运算 57

2 代数系统 61

3 同态和同构 62

4 半群和单元半群 66

5 群论 68

6 环，理想，整环和域 90

7 偏序集和格 99

习题四 110

第五章 图论 115

1 图的基本概念 115

2 连通性 119

3 图的矩阵表示 127

4 权图，最小权通路和最小权回路 131

5 二分图 143

6 平面图 149

7 四色图 154

8 树 159

9 有向图 176

习题五 184

第六章 命题逻辑 189

1 命题与命题联结词 189

2 命题公式 197

3 重言式 213

4 范式 219

习题六 227

第七章 谓词逻辑 231

1 谓词逻辑的基本概念 231

2 谓词逻辑公式及其基本永真公式 238

3 前束范式与斯科林范式 245

4 函数 247

习题七 248

第八章 命题逻辑与谓词逻辑的公理化理论 251

1 公理化理论的基本思想 251

2 命题逻辑的公理系统 252

3 谓词逻辑的公理系统 257

习题八 262

第九章 离散数学在计算机科学中的应用 264

1 离散数学在关系数据库中的应用 264

2 离散数学与纠错码 292

3 谓词逻辑与逻辑程序设计语言 310