图书介绍
离散数学PDF|Epub|txt|kindle电子书版本网盘下载
- 内蒙古自治区计算机教材编委会组编；包那主编；钱有梁，宋世军副主编；王强，杜宏编 著
- 出版社： 呼和浩特：内蒙古大学出版社
- ISBN：7810743686
- 出版时间：2002
- 标注页数：311页
- 文件大小：7MB
- 文件页数：323页
- 主题词：
PDF下载
下载说明
离散数学PDF格式电子书版下载
下载的文件为RAR压缩包。需要使用解压软件进行解压得到PDF格式图书。建议使用BT下载工具Free Download Manager进行下载,简称FDM(免费,没有广告,支持多平台）。本站资源全部打包为BT种子。所以需要使用专业的BT下载软件进行下载。如BitComet qBittorrent uTorrent等BT下载工具。迅雷目前由于本站不是热门资源。不推荐使用！后期资源热门了。安装了迅雷也可以迅雷进行下载！
（文件页数 要大于 标注页数，上中下等多册电子书除外）
注意：本站所有压缩包均有解压码： 点击下载压缩包解压工具
图书目录
第1章 命题逻辑1
1.1 命题及联结词1
1.2 命题公式及真值表8
1.3 等值演算12
1.4 全功能联结词集18
1.5 对偶与范式24
1.6 命题逻辑的推理理论35
习题143
第2章 谓词逻辑51
2.1 谓词逻辑的基本概念52
2.2 谓词公式57
2.3 等值式和前束范式64
2.4 谓词逻辑的推理理论69
习题275
第3章 集合的基本概念和运算82
3.1 集合的基本概念82
3.2 集合的运算85
3.3 集合中元素的计数90
习题395
第4章 二元关系和函数98
4.1 集合的笛卡尔积与二元关系98
4.2 关系的运算104
4.3 关系的性质110
4.4 关系的闭包114
4.5 等价关系和偏序关系116
4.6 函数的定义和性质123
4.7 函数的复合和反函数127
习题4130
第5章 代数系统135
5.1 二元运算及其性质135
5.2 代数系统144
5.3 同态与同构147
5.4 同余关系和商代数153
习题5157
第6章 几个典型的代数系统163
6.1 半群与群163
6.2 环与域171
6.3 格与布尔代数174
习题6183
第7章 图的基本概念188
7.1 无向图及有向图188
7.2 通路、回路、图的连通性195
7.3 图的矩阵表示199
7.4 最短路径与关键路径207
习题7211
第8章 一些特殊的图216
8.1 二部图216
8.2 欧拉图219
8.3 哈密尔顿图222
8.4 平面图224
习题8230
第9章 树234
9.1 无向树及生成树234
9.2 根树及其应用237
习题9243
第10章 基本计数分析245
10.1 加法法则和乘法法则245
10.2 基本排列组合的计数方法246
10.3 分配数256
10.4 生成函数258
10.5 分拆数263
习题10269
第11章 形式语言和自动机274
11.1 形式语言和形式文法274
11.2 形式文法的分类281
11.3 有限自动机289
11.4 图灵机297
习题11305