消息首页搜索举报

离散数学概论大中专高职机械作者

双印刷带新形态教材由浅入深介绍数理逻辑、集合论、图论和代数系统四个部分，配有大量难易程度不同的例题，重、难点知识点均配有讲解

32.7 4.7折 69 全新

仅1件

河北保定

认证卖家担保交易快速发货售后保障

作者作者

出版社机械工业出版社

ISBN9787111684053

出版时间2021-07

版次1

装帧平装

开本16

页数224页

字数343千字

定价69元

货号732_9787111684053

上书时间2024-06-28

典则俊雅图书专营店

五年老店

已实名已认证进店收藏店铺

在售商品暂无
平均发货时间 33小时
好评率暂无

最新上架

党员干部的中国智慧/中华传统党员干部读本党史党建读物编者:钱素洲|责编:张国旗 ¥16.70

党纪红线与问责底线政治理论吴德慧 ¥18.90

党员干部必知的中国清官/中华传统党员干部读本党史党建读物编者:申圣云|责编:张强 ¥16.70

党员干部的中国故事党史党建读物作者 ¥15.20

党员干部必修的中国风度/中华传统党员干部读本社科其他编者:水木森|责编:张强 ¥16.70

2019民生散文选散文古耜 ¥12.60

穿越长江:长篇报告文学中国现当代文学谢朝，刘月诗，于景信 ¥25.90

诗经全解中国古典小说、诗词作者 ¥32.20

如何打造新时代“支部尖兵” 党史党建读物张福俭编 ¥13.30

商品详情

品相描述：全新: 正版特价新书

商品描述: 主编：

本书通过对目前主流离散数学教材的分析研究，并结合计算机专业的后续学需求，由浅入深地介绍了数理逻辑、集合论、图论和代数系统四个部分，每一部分均配有大量难易程度不同的例题，且重、难点知识点均配有讲解。本书内容翔实，深入浅出，是一本适宜预和复，且可读强的教材。

目录：

前言

部分数理逻辑

章命题逻辑2

1.1命题及符号化2

1.1.1命题2

1.1.2联结词3

1.1.3真值表5

1.1.4复合命题符号化6

1.1.5命题公式分类7

1.2命题等值演算9

1.2.1等值式9

1.2.2等值演算9

1.3范式12

1.3.1析取范式和合取范式12

1.3.2主析取范式和主合取范式14

1.4逻辑电路20

1.5题22

第2章一阶逻辑26

2.1一阶逻辑基本概念26

2.1.1个体词、谓词26

2.1.2量词27

2.1.3嵌套量词29

2.2一阶逻辑公式分类及解释30

2.2.1谓词公式解释30

2.2.2谓词公式分类32

2.3一阶逻辑等值式和前束范式33

2.3.1一阶逻辑等值式33

2.3.2前束范式35

2.4逻辑推理36

2.4.1命题逻辑推理37

2.4.2一阶逻辑推理41

2.5题43

第二部分集合论

第3章集合和矩阵49

3.1集合49

3.1.1集合概念49

3.1.2集合间关系50

3.1.3集合运算52

3.1.4集合证明54

3.1.5集合的计算机表示方法57

3.2矩阵58

3.2.1矩阵概念58

3.2.2矩阵基本运算59

3.2.3布尔矩阵运算61

3.3题62

第4章关系和函数65

4.1关系65

4.1.1关系概念65

4.1.2关系表示方法69

4.1.3关系运算71

4.1.4关系质76

4.1.5关系闭包81

4.1.6等价关系83

4.1.7偏序关系87

4.2函数91

4.2.1函数定义91

4.2.2函数质93

4.2.3函数运算94

4.3题96

第三部分图论

第5章图的基本概念和矩阵表示100

5.1图的基本概念100

5.2顶点的度数与度序列102

5.3握手定理103

5.4接近图104

5.5图的同构与子图105

5.6图的作107

5.7通路回路109

5.8连通110

5.8.1无向图的连通110

5.8.2有向图的连通112

5.9矩阵表示113

5.9.1邻接矩阵113

5.9.2可达矩阵115

5.9.3关联矩阵116

5.9.4连通与矩阵关系117

5.10路径117

5.10.1短路径117

5.10.2dijkstra算法118

5.10.3bellman-ford算法120

5.10.4spfa算法122

5.10.5floyd算法124

5.10.6拓扑排序和关键路径127

5.11图的着问题131

5.11.1对偶图131

5.11.2地图着与四猜想132

5.11.3面图着与五定理133

5.11.4面图点着134

5.12匹配136

5.12.1匹配与优选匹配136

5.12.2霍尔定理138

5.13题139

第6章特殊的图142

6.1欧拉图142

6.1.1基本概念142

6.1.2判定143

6.2哈密顿图144

6.3二部图148

6.4面图149

6.4.1基本概念149

6.4.2欧拉公式150

6.4.3面图判定151

6.5题154

第7章树156

7.1概念介绍156

7.2生成树与小生成树157

7.2.1kruskal算法159

7.2.2管梅谷算法160

7.2.3逐步短接法161

7.3根树162

7.3.1根树概念162

7.3.2二树遍历164

7.3.3很优二树和哈夫曼编码166

7.3.4一般树遍历167

7.4题169

第四部分代数系统

第8章代数系统基础171

8.1代数系统概念171

8.2半群与独异点179

8.3群的基本定义与质181

8.4子群与陪集186

8.5循环群和置换群192

8.6环和域197

8.7题200

第9章格与布尔代数203

9.1格203

9.2布尔代数210

9.3题212

参文献214

内容简介：

本书分为四部分，共9章。部分为数理逻辑，主要包括命题逻辑、一阶逻辑及数理逻辑中的推理证明等内容。第二部分为集合论，主要包括集合、矩阵、关系和函数等内容。第三部分为图论，主要包括图的基本概念和矩阵表示、特殊图和树等内容。第四部分为代数系统，主要包括代数系统基础、格与布尔代数等内容。本书内容丰富，层次分明，重点突出，并注重离散数学的实用，可以为计算机专业提供重要的数学基础。本书可作为计算机专业本科生、大专生等的理论教材。