图书介绍
离散数学PDF|Epub|txt|kindle电子书版本网盘下载
- 王湘浩等著 著
- 出版社： 长春：吉林大学出版社
- ISBN：7560100953
- 出版时间：1988
- 标注页数：270页
- 文件大小：7MB
- 文件页数：277页
- 主题词：
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