消息首页搜索举报

正版现货新书面向信息科学的离散数学 9787030596529 杨小帆,杨橹星编

全新正版现货，以书名为准，放心购买，购书咨询18931383650朱老师

40.83 6.9折 59 全新

库存8件

北京丰台

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

作者杨小帆,杨橹星编

出版社科学出版社

ISBN9787030596529

出版时间2018-11

装帧平装

开本16开

定价59元

货号1203225804

上书时间2025-01-08

黎明书店

十五年老店

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

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

最新上架

正版现货新书傅雷家书 9787544774635 尼·奥斯特洛夫斯基著，曹缦西王志棣译

正版现货新摄影+摄影书（Ⅱ爱摄影）（共2册） 9787121154904 赵嘉//爱摄影工社 ¥98.32

正版现货新书论慧能 9787010178950 彭富春 ¥46.13

正版现货新书课堂的魅力：小学数学活动设计与教学 9787567563841 费岭峰

正版现货新书圆觉经新解(精) 9787551309844 荆三隆 ¥22.23

商品详情

品相描述：全新

商品描述: 目录
第1章数理逻辑 1

1.1 逻辑学概论 1

1.1.1 逻辑思维的基本规律 1

1.1.2 命题、推理和论证 4

1.1.3 逻辑学的历史 6

习题 6

1.2 形式命题(1) 8

1.2.1 简单命题 8

1.2.2 复合命题与连接词 8

习题 12

1.3 命题公式 12

1.3.1 命题变元 13

1.3.2 命题公式的定义 13

1.3.3 永真式与永假式 16

习题 18

1.4 形式推理(1) 19

1.4.1 推理规则 19

1.4.2 对偶性 22

1.4.3 推理(1) 23

习题 28

1.5 命题范式 29

1.5.1 主析取范式 29

1.5.2 主合取范式 33

习题 36

1.6 形式命题(2) 37

1.6.1 谓词 38

1.6.2 命题函数 39

1.6.3 量词 40

习题 41

1.7 形式推理(2) 42

1.7.1 谓词公式 42

1.7.2 推理规则 43

1.7.3 推理(2) 47

习题 48

本章小结 48

第2章集合论 50

2.1 集合概论 50

2.1.1 集合及其表示 50

2.1.2 子集 53

2.1.3 幂集 54

习题 54

2.2 集合演算 54

2.2.1 集合运算 55

2.2.2 笛卡儿积 57

2.2.3 集合划分 59

习题 60

2.3 函数 61

2.3.1 函数的定义 61

2.3.2 单射、满射和双射 63

2.3.3 函数的复合 64

2.3.4 函数的逆 65

习题 67

2.4 集合的大小 67

2.4.1 数与计数 67

2.4.2 集合的势 68

2.5 二元关系 72

2.5.1 二元关系的定义 72

2.5.2 几种典型的二元关系 75

2.5.3 二元关系的复合 76

2.5.4 二元关系的逆 77

习题 77

2.6 等价关系与商集 78

2.6.1 等价关系 78

2.6.2 商集 80

习题 81

2.7 偏序关系 81

2.7.1 偏序关系的定义 81

2.7.2 哈斯图 83

2.7.3 极性元 85

2.7.4 偏序子集 86

习题 88

本章小结 88

第3章抽象代数 89

3.1 代数学概论 89

3.1.1 初等代数简介 89

3.1.2 高等代数简介 89

3.1.3 抽象代数简介 90

3.1.4 代数学与信息科学 90

3.2 群 93

3.2.1 代数系统 94

3.2.2 半群 95

3.2.3 独异点 96

3.2.4 群的定义 97

3.2.5 交换群 101

习题 102

3.3 子群与陪集 103

3.3.1 子群 104

3.3.2 陪集 109

3.3.3 拉格朗日定理 112

习题 114

3.4 群的同构 115

3.4.1 群同构的定义 115

3.4.2 循环群 118

3.4.3 变换群 120

习题 122

3.5 置换群 122

习题 131

3.6 正规子群与商群 132

3.6.1 正规子群 132

3.6.2 商群 134

3.6.3 群的同态 136

习题 138

3.7 群的直积 139

习题 141

3.8 环 141

3.8.1 环的定义 142

3.8.2 子环 145

3.8.3 整环、除环和域 146

习题 149

3.9 理想与商环 149

3.9.1 理想 149

3.9.2 商环 153

习题 155

本章小结 155

第4章图论 157

4.1 图论概论 157

4.1.1 网络与图 157

4.1.2 图论的历史 158

4.1.3 图论与信息科学 160

4.2 图 162

4.2.1 有向图 163

4.2.2 无向图 165

4.2.3 子图 168

4.2.4 图的同构 168

4.2.5 图的表示 169

习题 171

4.3 图的连通性 172

4.3.1 连通图 172

4.3.2 图的连通度 173

习题 178

4.4 树 178

4.4.1 树的定义 178

4.4.2 树的特征 180

4.4.3 图的生成树 182

习题 183

4.5 平面图 183

4.5.1 平面图及其嵌入 183

4.5.2 欧拉公式 185

习题 186

4.6 图的遍历 186

4.6.1 欧拉图 186

4.6.2 汉密尔顿图 187

习题 190

本章小结 191

参考文献 193

内容摘要
本书从信息科学的角度讲解离散数学，在保持数学体系完整性和数学内容严谨性的同时，用生动活泼的语言介绍离散数学四大分支（数理逻辑、集合论、抽象代数、冈论）的发展史及其与信息科学的紧密联系，用深入浅出的语言介绍离散数学的核心思想、基本概念和主要结论，同时介绍一些有名科学家的逸闻趣事，其目的是帮助读者在学习离散数学知识的同时了解其在信息科学中的应用，提高自身的科学素养和人文素养。

本书可作为信息科学技术相关专业的本科生的教科书，也可以作为研究信息科学技术的高层次人才的参考书。