图书介绍

离散数学 Discrete Mathematicspdf电子书版本下载

离散数学 Discrete Mathematics
  • 郭荣冰,常荆燕主编;杨敬华副主编;侯谦民,潘于丰,周田等编委 著
  • 出版社: 武汉:武汉理工大学出版社
  • ISBN:7562920575
  • 出版时间:2004
  • 标注页数:126页
  • 文件大小:15MB
  • 文件页数:135页
  • 主题词:数学

PDF下载


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

下载说明

离散数学 Discrete MathematicsPDF格式电子书版下载

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

建议使用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 实例分析 4

1.1.4 公式G的种类 5

习题1.1 6

1.2 公式的等价与蕴含 7

1.2.1 公式的等价与24个基本等价式 7

1.2.2 公式的蕴含与16个基本蕴含式 9

习题1.2 10

1.3 公式的主范式 11

1.3.1 主析取范式 11

1.3.2 主合取范式 13

习题1.3 15

1.4 推理理论 15

习题1.4 18

1.5 谓词逻辑 18

1.5.1 谓词逻辑的基本概念 19

1.5.2 语句命题的谓词形式符号化 20

1.5.3 谓词公式 20

习题1.5 24

2 集合、关系和函数 26

2.1 集合和集合的运算 26

2.1.1 集合的基本概念 26

2.1.2 集合的运算 28

2.1.3 集合运算中等值式与命题公式的“等价式”一致 28

2.1.4 序偶和笛卡尔积 28

习题2.1 30

2.2 关系 31

2.2.1 二元关系R 31

2.2.2 关系R的表示与性质 31

2.2.3 关系的运算 33

2.2.4 集合A上的关系R的闭包问题——包含关系R的有用性质(自反性、对称性、传递性)的最小关系问题 36

习题2.2 37

2.3 等价关系和集合的划分 37

2.3.1 等价关系 37

2.3.2 A的划分s 38

2.3.3 A关于等价关系R的商集A/R 38

习题2.3 39

2.4 序关系和哈斯图 40

2.4.1 偏序关系及其哈斯图 40

2.4.2 其他序关系 41

习题2.4 44

2.5 函数 44

2.5.1 函数的概念 44

2.5.2 几种特殊的函数及其特点 45

2.5.3 函数的表示 46

2.5.4 复合函数与逆函数 46

习题2.5 47

3 代数结构 50

3.1 代数系统 50

3.1.1 运算及其封闭性 50

3.1.2 代数系统 51

3.1.3 子代数 55

习题3.1 57

3.2 半群和独异点 57

3.2.1 半群 57

3.2.2 独异点 58

习题3.2 59

3.3 群与子群 60

3.3.1 群的概念 60

3.3.2 群〈G;*〉的一个子群〈H;*〉 62

习题3.3 63

3.4 环与域 64

3.4.1 环 64

3.4.2 环的性质定理 65

3.4.3 几种特殊的环 65

习题3.4 67

3.5 格、子格与布尔代数 67

3.5.1 格的概念 67

3.5.2 几种特殊的格 70

3.5.3 布尔代数 73

习题3.5 74

4 图论 76

4.1 图的基本概念 76

4.1.1 图G的定义 76

4.1.2 图的种类 77

4.1.3 图的一些术语 77

4.1.4 图的性质 79

4.1.5 特殊图 79

习题4.1 82

4.2 图的连通性 83

4.2.1 无向图的连通性 83

4.2.2 有向图的连通性 84

习题4.2 88

4.3 图的矩阵表示 89

4.3.1 图G的邻接矩阵 89

4.3.2 图G的可达矩阵(又称路径矩阵) 91

习题4.3 92

4.4 树、生成树、有向树及其应用 92

4.4.1 树的基本概念 92

4.4.2 有向树的基本概念 94

习题4.4 97

4.5 欧拉图、哈密顿图、平面图 98

4.5.1 欧拉图的基本概念及其有关定理和应用 98

4.5.2 哈密顿图的基本概念及其有关定理和应用 99

4.5.3 平面图 101

习题4.5 103

参考答案 105

参考文献 126

精品推荐