离散数学(微课版)
下午5点前订单,当日发货!超时赔付
¥
13.47
1.9折
¥
69.8
九五品
库存2件
作者王庆先 顾小丰 王丽杰
出版社人民邮电出版社
出版时间2021-12
版次1
装帧平装
货号9787115566423503
上书时间2024-06-03
商品详情
- 品相描述:九五品
图书标准信息
-
作者
王庆先 顾小丰 王丽杰
-
出版社
人民邮电出版社
-
出版时间
2021-12
-
版次
1
-
ISBN
9787115566423
-
定价
69.80元
-
装帧
平装
-
开本
其他
-
纸张
胶版纸
-
页数
337页
-
字数
502千字
- 【内容简介】
-
本书是在国家精品课程、国家精品资源共享课程和一流本科课程“离散数学”的基础上,结合卓越工程师教育培养计划和新工科建设编写而成的。全书共10章,系统介绍了数理逻辑、集合与关系、图论,以及代数系统与布尔代数中的基本概念、算法、定理及其证明方法。本书不仅注重基本概念的描述,还特别注重阐述有关离散数学的证明方法及离散数学问题求解的算法,并且举出大量的应用实例,充分展示了离散数学在软件工程和计算机科学与技术中的基础作用和强大应用。
- 【作者简介】
-
本书编写组成员现为电子科技大学信息与软件工程学院和计算机科学与工程学院“离散数学”课程组教师,长期从事与离散数学密切相关的教学、科研、应用开发和社会服务等方面的工作,主要研究领域包括人工智能、大数据处理与应用、云计算等。
编写组成员长期致力于“离散数学”课程的教学与研究,具有丰富的“离散数学”教学研究经验,取得了丰硕的教学研究成果。2005年“离散数学”课程被评为精品课程;2008年“离散数学”课程被评为国家双语示范课程;2009年“离散数学”教学团队被评为四川省省级教学团队;2012年“离散数学”被评为教育部精品资源共享课程;2018年“离散数学”课程被评为精品在线开放课程;2020年编写组成员完成的“以学生为中心”的离散数学课程综合改革与实践”获电子科技大学教学成果二等奖。多人次获得电子科技大学优秀主讲教师、专业核心课程骨干教师等称号。
编写组成员先后编写了国家“十一五”规划教材《离散数学及应用(2019年第3版,2013年第2版,2007年第1版)》,《离散数学实验与习题解析》(2007年,高等教育出版社),《离散数学》(2004年,机械工业出版社),《离散数学及其应用》(1997年,电子工业出版社),编写《离散数学及其应用习题解析》(1997年,电子工业出版社),《计算复杂性》(2005年,机械工业出版社),《并行算法及其应用》(2005年,机械工业出版社);自主研发了集作业发布、撰写、上传、批改及数据统计为一体“离散数学”教学辅助系统,实现了考核方式的科学化和标准化。
- 【目录】
-
第1章集合论
本章思维导图1
历史人物2
11集合的基本概念2
111集合的表示3
112集合与集合的关系4
113几个特殊集合6
12集合的运算7
13无限集9
131可数集9
132不可数集11
14与集合相关的应用12
141集合的计算机表示12
142计数问题13
15习题14
第2章命题逻辑
本章思维导图16
历史人物17
21命题与命题联结词17
211命题17
212命题联结词18
213自然语言的命题符号化23
22命题公式、解释与真值表25
221命题公式25
222命题公式的解释与真值表26
223命题公式的基本等价定律29
23公式的标准型——范式33
231命题联结词的完备集33
232析取范式和合取范式34
233主析取范式和主合取范式36
24命题逻辑的推理理论43
241推理的基本概念43
242推理有效性的判别方法44
25命题逻辑的应用51
251命题联结词的应用51
252命题公式的应用53
253范式的应用55
254命题逻辑推理的应用56
26习题58
第3章谓词逻辑
本章思维导图64
历史人物65
31自然语言的谓词符号化65
311谓词65
312量词67
32谓词公式与解释70
321谓词公式70
322自由变元和约束变元71
323谓词公式的解释73
324谓词公式的基本等价定律77
33谓词公式的标准型——前束范式79
331前束范式80
332Skolem范式*80
34谓词逻辑的推理理论81
341推理规则与推理定律81
342推理有效性的判别方法84
35谓词逻辑的应用87
36习题89
第4章二元关系
本章思维导图94
历史人物95
41二元关系及其表示96
411序偶和笛卡儿积96
412关系的定义98
413关系的表示法99
42关系的运算104
421关系的复合运算104
422关系的逆运算107
423关系的幂运算109
43关系的性质111
431关系性质的定义111
432关系性质的判定定理117
433关系性质的保守性119
44关系的闭包120
45关系的应用124
451二元关系及表示的应用124
452关系运算的应用126
46习题127
第5章特殊关系
本章思维导图131
历史人物132
51相容关系132
511相容关系的定义132
512集合的覆盖134
52等价关系134
521等价关系的定义135
522集合的划分137
523等价类与商集137
524等价关系与划分14053次序关系142
531拟序关系143
532偏序关系144
533全序关系149
534良序关系150
54函数151
541函数的基本概念151
542函数的运算157
543置换函数159
55特殊关系的应用160
551等价关系的应用160
552次序关系的应用161
553函数的应用162
554置换函数的应用165
56习题166
第6章图
本章思维导图171
历史人物172
61图的基本概念172
611图的定义172
612图的表示173
613图的操作175
614邻接点与邻接边176
615图的分类178
616子图与补图180
62握手定理183
63图的同构185
64通路与回路187
641通路与回路的概念187
642通路与回路的计算188
643可达与距离191
644无向赋权图的短通路194
65图的连通性196
651无向图的连通性196
652有向图的连通性198
66图的应用200
661网络的结构200
662渡河问题201
663均分问题202
67习题202
第7章特殊图
本章思维导图206
历史人物207
71树207
711树的基本概念及性质208
712生成树及算法210
72根树216
721根树的定义与分类216
722根树的遍历220
723树与哈夫曼算法222
73欧拉图224
731欧拉图的引入与定义224
732欧拉图的判定226
74哈密顿图228
741哈密顿图的引入与定义228
742哈密顿图的判定230
75偶图232
751偶图的定义232
752偶图的判定233
753匹配234
76平面图236
761平面图的定义236
762平面图的简单判定方法——观察法237
763欧拉公式238
764库拉托夫斯基定理241
77特殊图的应用242
771无向树的应用242
772根树的应用242
773欧拉图的应用247
774哈密顿图的应用250
775偶图的应用253
776平面图的应用253
78习题253
第8章代数系统
本章思维导图258
历史人物259
81代数系统259
811代数运算259
812代数系统与子代数261
82代数系统的基本运算性质263
821二元运算律263
822二元运算的特殊元266
83同态与同构272
831同态与同构的定义273
832同态的性质275
84代数系统的应用276
841代数系统的计算机表示276
842数据库与关系代数277
85习题277
第9章群、环、域
本章思维导图280
历史人物281
91群的基本概念281
911群的定义及基本性质281
912元素的阶285
913子群287
914群的同态和同构290
92特殊群292
921循环群292
922置换群295
93陪集与拉格朗日定理300
931陪集300
932拉格朗日定理303
94正规子群与商群304
941正规子群304
942商群306
95环和域308
951环和域的定义308
952子环、理想和商环310
953环的同态和同构312
96与群、环、域相关的应用313
961计数问题313
962多项式编码315
97习题317
第10章格与布尔代数
本章思维导图320
历史人物321
101格的定义和性质321
1011格的定义321
1012格的性质325
102子格与格同态326
1021子格和理想326
1022格同态327
103特殊格328
1031分配格与模格328
1032有界格与有补格330
104布尔代数332
105格与布尔代数的应用333
1051格与树形图结构333
1052布尔函数及其表示334
106习题335
参考文献337
点击展开
点击收起
— 没有更多了 —
以下为对购买帮助不大的评价