图书介绍
离散数学实验与习题解析PDF|Epub|txt|kindle电子书版本网盘下载
- 傅彦编著 著
- 出版社： 北京：高等教育出版社
- ISBN：7040224690
- 出版时间：2007
- 标注页数：222页
- 文件大小：8MB
- 文件页数：229页
- 主题词：离散数学－高等学校－教学参考资料
PDF下载
下载说明
离散数学实验与习题解析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