图书介绍

离散数学基础PDF|Epub|txt|kindle电子书版本网盘下载

离散数学基础
  • 谢胜利，虞铭财，黄月华编著 著
  • 出版社： 北京：清华大学出版社
  • ISBN：9787302274186
  • 出版时间：2012
  • 标注页数：181页
  • 文件大小：55MB
  • 文件页数：194页
  • 主题词：离散数学－高等学校－教材

PDF下载


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

下载说明

离散数学基础PDF格式电子书版下载

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

点击复制85GB完整离线版磁力链接到迅雷FDM等BT下载工具进行下载  详情点击-查看共享计划
建议使用BT下载工具Free Download Manager进行下载,简称FDM(免费,没有广告,支持多平台）。本站资源全部打包为BT种子。所以需要使用专业的BT下载软件进行下载。如BitComet qBittorrent uTorrent等BT下载工具。迅雷目前由于本站不是热门资源。不推荐使用！后期资源热门了。安装了迅雷也可以迅雷进行下载！

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

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

图书目录

第1章 准备知识1

1.1集合1

1.1.1集合的基本概念1

1.1.2集合的基本运算和性质2

1.1.3集合的笛卡儿积5

1.1.4集合的计算机表示5

1.2整数6

1.2.1整除6

1.2.2最大公约数和最小公倍数8

1.2.3模运算11

1.3序列和递推关系12

1.3.1序列12

1.3.2序列求和13

1.3.3递推关系13

1.4矩阵15

1.4.1矩阵的概念15

1.4.2矩阵的运算16

1.4.3布尔矩阵19

习题120

第2章 数理逻辑24

2.1命题及联结词24

2.1.1命题的概念24

2.1.2命题联结词26

2.2命题公式和分类29

2.2.1命题变元和命题公式29

2.2.2命题公式的赋值和真值表30

2.2.3命题公式的类型32

2.3等值演算与范式33

2.3.1等价和基本等价式33

2.3.2等值演算35

2.3.3范式37

2.4命题逻辑的推理理论43

2.4.1推理的形式结构43

2.4.2演绎法证明推理45

2.5谓词逻辑基础48

2.5.1谓词逻辑的基本概念48

2.5.2谓词公式及其解释51

2.6谓词逻辑等值式与范式56

2.6.1谓词逻辑等值式56

2.6.2前束范式58

2.7谓词逻辑的推理理论59

2.7.1有关量词的基本蕴涵式59

2.7.2有关量词的推理规则60

习题263

第3章 计数70

3.1基本计数、排列与组合70

3.1.1基本的计数原则70

3.1.2排列与组合71

3.2排列组合的进一步讨论74

3.2.1圆周排列74

3.2.2有重复的排列74

3.2.3有重复的组合76

3.3生成排列和组合78

3.3.1生成排列78

3.3.2生成组合80

3.4生成函数及其应用81

3.4.1生成函数的定义81

3.4.2生成函数求解计数问题82

3.4.3使用生成函数求解递推关系84

3.5鸽巢原理86

3.5.1一般的鸽巢原理86

3.5.2推广的鸽巢原理87

3.6容斥原理88

3.6.1容斥原理88

3.6.2容斥原理的应用91

习题393

第4章 关系96

4.1关系定义及其表示96

4.1.1关系的基本概念96

4.1.2二元关系的表示97

4.2关系的运算98

4.2.1关系的合成98

4.2.2逆运算100

4.3关系的性质101

4.3.1自反性与反自反性101

4.3.2对称性与反对称性102

4.3.3传递关系103

4.4 n元关系及其应用105

4.5关系的闭包108

4.5.1闭包的概念和求法108

4.5.2 Warshall算法111

4.6等价关系112

4.6.1等价关系与等价类112

4.6.2等价关系与划分114

4.7偏序关系115

4.7.1偏序关系和哈斯图115

4.7.2极值和最值116

4.7.3拓扑排序117

习题4119

第5章 布尔代数123

5.1布尔函数123

5.1.1布尔函数和布尔表达式123

5.1.2布尔代数中的恒等式125

5.2布尔函数的表示127

5.2.1布尔函数的主析取范式127

5.2.2函数完备性128

5.3布尔代数的应用129

5.3.1门电路129

5.3.2卡诺图130

习题5132

第6章图134

6.1图的基本概念134

6.1.1无向图和有向图134

6.1.2握手定理138

6.1.3图的同构139

6.2图的连通性141

6.2.1通路和回路141

6.2.2无向图的连通性143

6.2.3有向图的连通性144

6.3图的矩阵表示144

6.3.1关联矩阵145

6.3.2邻接矩阵146

6.3.3有向图的可达矩阵148

6.4一些特殊的图149

6.4.1二部图149

6.4.2欧拉图150

6.4.3哈密尔顿图152

6.5带权图的最短路径155

6.5.1 Dijkstra算法155

6.5.2 Floyd算法157

6.5.3旅行商问题159

6.6平面图160

6.6.1平面图的定义160

6.6.2欧拉公式161

6.6.3库拉图斯基定理162

习题6164

第7章树167

7.1无向树的概念167

7.1.1无向树的定义167

7.1.2无向树的应用例子168

7.2生成树169

7.2.1生成树的定义169

7.2.2求最小生成树的算法170

7.3根树及应用172

7.3.1根树的定义及应用172

7.3.2最优二叉树和Huffman编码174

7.3.3二叉树的遍历177

习题7179

参考文献181

热门推荐