离散数学实验与习题解析pdf电子书版本下载

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

离散数学实验与习题解析PDF格式电子书版下载

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

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

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

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

第一篇　离散数学应用及实验 3

第1章 集合论的应用和实验 3

1.1　集合论在计算机科学中的应用 3

1.2　集合的计算机表示 4

1.2.1　数组法 4

1.2.2　链表法 4

1.2.3　位串法 4

1.3　集合论实验 6

1.3.1　实验目的及要求 6

1.3.2　实验内容及步骤 6

第2章　数理逻辑的应用和实验 12

2.1　数理逻辑在计算机科学中的应用 12

2.2　逻辑的计算机表示 12

2.2.1　命题逻辑的计算机表示 12

2.2.2　谓词逻辑的计算机表示 13

2.3　数理逻辑实验 15

2.3.1　实验目的及要求 15

2.3.2　实验内容及步骤 15

第3章　关系的应用和实验 17

3.1　关系在计算机科学中的应用 17

3.2　关系的计算机表示 17

3.3　关系实验 18

3.3.1　实验目的及要求 18

3.3.2　实验内容及步骤 18

第4章 图论的应用和实验 22

4.1　图论在计算机科学中的应用 22

4.2　图的计算机表示 22

4.2.1　数组法 23

4.2.2　链表法 23

4.3　图论实验 24

4.3.1　实验目的及要求 24

4.3.2　实验内容及步骤 25

第5章　代数系统应用和实验 29

5.1　代数系统在计算机科学中的应用 29

5.2　代数系统的计算机表示 29

5.3　代数系统实验 30

5.3.1　实验目的及要求 30

5.3.2　实验内容及步骤 30

第6章　课程设计实验 39

6.1　课程设计实验一　Prolog与逻辑推理 39

6.1.1　基本Prolog使用 39

6.1.2　典型逻辑问题 41

6.1.3　课程设计 52

6.2　课程设计实验二　简单数据库设计 53

6.2.1　关系数据库基本原理 54

6.2.2　简单数据库系统设计 56

6.2.3　课程设计 62

6.3　课程设计实验三　巡回售货员问题和中国邮路问题 62

6.3.1　巡回售货员问题 62

6.3.2　中国邮路问题 70

6.3.3　课程设计 75

6.4　课程设计实验四　纠错码设计 75

6.4.1　纠错码与群码 77

6.4.2　群码的生成 78

6.4.3　课程设计 82

6.5　课程设计实验五　离散建模 82

6.5.1　MATLAB基本使用 83

6.5.2　最小生成树问题 87

6.5.3　银行排队问题 89

6.5.4　课程设计 91

6.6　课程设计实验六　游戏设计基础 92

6.6.1　路径搜索算法 92

6.6.2　有限状态机 93

6.6.3　课程设计 94

第二篇 离散数学习题解析 97

第7章　主讲教材习题解析 97

7.1　集合论 97

7.2　计数问题 105

7.3　命题逻辑 110

7.4　谓词逻辑 119

7.5　推理与证明技术 124

7.6　二元关系 139

7.7　特殊关系 152

7.8　函数 161

7.9 图 165

7.10　树 176

7.11　特殊图 184

7.12　代数系统 197

7.13　群 204

7.14　环与域 215

7.15　格与布尔代数 216

参考文献 222