新書推薦：
《
没有一种人生是完美的：百岁老人季羡林的人生智慧（读完季羡林，我再也不内耗了）
》
售價：NT$
257.0
《
日耳曼通识译丛：复原力：心理抗逆力
》
售價：NT$
155.0
《
海外中国研究·未竟之业：近代中国的言行表率
》
售價：NT$
614.0
《
算法经济 ： 商业逻辑与人类生活的智能演进（生动呈现AI与算法的创新应用与商业价值）
》
售價：NT$
359.0
《
偏爱月亮
》
售價：NT$
207.0
《
津轻：日本无赖派文学代表太宰治自传性随笔集
》
售價：NT$
302.0
《
河流之齿
》
售價：NT$
270.0
《
新经济史革命：计量学派与新制度学派
》
售價：NT$
406.0
|
| 編輯推薦： |
|
中国大学MOOC平台离散数学课程指定教材
|
| 內容簡介： |
|
离散数学是现代数学的一个重要分支，是计算机专业和软件工程专业的基础主干课程，是进一步学习后续课程以及进行研究和开发的基础。本书根据作者多年教学经验编写而成，着重讲解离散数学的基本概念、基本方法及其应用，给出了大量的典型例题和习题，以及若干综合专题、应用案例和实验项目。全书共10章，内容包括朴素集合论、数论基础、计数基础、命题逻辑、谓词逻辑、二元关系、函数、偏序关系与格、代数结构、图论与树、形式语言、自动机与正则表达式等。附录给出综合性研讨专题、综合实验、名词中英文对照表等。
|
| 目錄：
|
第1章?基础知识?? 1
1.1 集合与序列 1
1.1.1 集合的基本概念 1
1.1.2 集合的运算及性质 3
1.1.3 序列 6
1.2 数论基础 7
1.3 计数基础 10
1.3.1 加法法则与乘法法则 10
1.3.2 排列与组合 11
1.3.3 鸽巢原理 16
1.3.4 有限集的计数容斥原理 19
1.3.5 递推关系 22
1.4 布尔矩阵及其运算 26
习题1 28
第2章?命题逻辑?? 41
2.1 命题逻辑的基本概念 41
2.2 命题公式及其分类 45
2.3 命题逻辑的等值演算 48
2.4 对偶与范式 53
2.4.1 对偶 53
2.4.2 析取范式和合取范式 54
2.4.3 主范式 56
2.5 命题联结词的完备集 63
2.6 命题逻辑的推理 64
习题2 70
第3章?谓词逻辑?? 79
3.1 谓词与量词 79
3.1.1 谓词 79
3.1.2
量词 80
3.2 谓词公式及分类 81
3.3 自然语言形式化 83
3.4 谓词逻辑的等值演算 86
3.5 前束范式 90
3.6 谓词逻辑的推理 91
习题3 98
第4章?二元关系?? 104
4.1 关系及其表示 104
4.1.1
有序对与笛卡儿积 104
4.1.2
二元关系的定义 106
4.1.3
二元关系的表示 109
4.2 关系的运算 110
4.2.1
关系的基本运算 110
4.2.2
关系的幂和道路 113
4.3 关系的性质 116
4.3.1
关系性质的定义和判断 116
4.3.2
关系运算对性质的保持 120
4.4 关系的闭包 122
4.5 等价关系和集合的划分 127
4.5.1
等价关系、等价类和商集 127
4.5.2
集合的划分 128
4.5.3
等价关系与划分的一一对应 129
*4.6
相容关系与集合的覆盖 130
*4.7
关系在计算机中的表示方法 131
习题4 132
第5章?函数?? 141
5.1 函数的定义 141
5.2 函数的性质 142
5.3 函数的复合 144
5.4 逆函数 146
5.5 计算机科学中的常用函数 147
*5.6
双射函数及集合的势 152
习题5 156
第6章?偏序关系?? 162
6.1 偏序关系和偏序集 162
6.1.1
偏序关系和偏序集的定义与性质 162
6.1.2
积偏序和字典序 164
6.1.3
哈斯图 164
6.2 偏序集中的特殊元素 166
6.2.1
偏序集中的特殊元素 166
6.2.2
拓扑排序 169
6.3 格与布尔代数 171
6.3.1
格的定义 171
6.3.2
特殊的格 174
*6.3.3
布尔代数 177
*6.3.4
信息流的格模型 179
习题6 181
第7章?代数结构?? 187
7.1 代数结构 187
7.1.1
运算与代数结构的定义 187
7.1.2
二元运算的性质 189
7.2 群 192
7.2.1
半群与亚群 192
7.2.2
群的概念 193
7.2.3
群的性质 196
7.2.4
子群 198
7.2.5
循环群与置换群 199
7.2.6
陪集与拉格朗日定理 200
7.3 环与域 203
7.3.1
环 203
7.3.2
域 205
7.4 作为代数结构的格与布尔代数 206
习题7 208
第8章?图论?? 218
8.1 基本概念 218
8.1.1
无向图、有向图和握手定理 218
8.1.2
图的同构与子图 224
8.1.3
道路、回路与连通性 227
8.1.4
图的矩阵表示 228
8.2 欧拉图 230
8.3 哈密顿图 234
8.4 平面图 238
8.5 顶点支配、独立与覆盖 244
8.6 匹配 247
8.6.1
匹配与最大匹配 247
8.6.2
霍尔定理及其应用 252
8.6.3
匹配与覆盖 254
*8.6.4
二部图中的最佳匹配 258
8.7 图的着色 263
8.8 网络与流 267
习题8 282
第9章?树及其应用?? 306
9.1 无向树 306
9.2 支撑树及其应用 310
9.3 最短道路树 321
9.4 根树及其应用 325
9.4.1
根树的定义和基本概念 325
9.4.2
二叉树的遍历 330
9.4.3
最优二叉树与赫夫曼编码 332
习题9 335
第10章?形式语言、自动机与正则表达式?? 342
10.1
语言 342
10.2
文法 346
10.3
巴科斯-诺尔范式和语法图 351
10.4
有限状态自动机 353
10.5
语言与自动机的关系 359
10.6
正则表达式 361
习题10 362
附录A?综合性研讨专题?? 371
A.1 凑邮资、分油、爬台阶与台球桌 371
A.1.1
邮资问题 371
A.1.2
分油问题 373
A.1.3
登阶问题 376
A.1.4
台球问题 378
A.2 基于模运算的校验码 379
A.2.1
EAN-13码 379
A.2.2
新版国际标准书号ISBN-13 380
A.2.3
第二代身份证 380
A.3 应用鸽巢原理的纸牌魔术二则 382
A.3.1
纸牌魔术A 382
A.3.2
纸牌魔术B 384
A.4 完美洗牌法 385
A.5
Chomp游戏 388
A.6 麻花辫 390
A.7 伯恩赛德引理与波利亚定理 394
A.8 顿时错乱问题 398
A.9 抽芽游戏与抱子甘蓝游戏 402
A.9.1
抽芽游戏 402
A.9.2
抱子甘蓝游戏 405
A.10
汉诺塔杂谈 407
A.10.1 汉诺塔图 407
A.10.2 汉诺塔的非递归算法 410
A.10.3 汉诺塔与普通二进制码 411
A.11
存储器轮 412
A.11.1 存储器轮及解决方法 412
A.11.2 德布鲁因序列 414
A.12
中国邮路问题 417
A.13
格雷码、超立方体的哈密顿回路和九连环 420
A.13.1 格雷码 420
A.13.2 超立方体图中的哈密顿回路 421
A.13.3 九连环与格雷码 423
A.14
谢尔宾斯基三角 426
附录B?课程综合实验?? 433
B.1 实验一：汉诺塔问题的变体 433
B.1.1
实验内容 433
B.1.2
实验要求 434
B.1.3
扩展阅读 435
B.2 实验二：命题演算的计算机实现 435
B.3 实验三：二元关系及其应用 436
B.3.1
准备工作 436
B.3.2
等价关系及其应用 436
B.3.3
偏序关系及其应用 437
B.3.4
连通性和欧拉道路回路 439
B.4 实验四：村庄修引水渠问题 440
B.4.1
实验内容（一） 441
B.4.2
实验内容（二） 442
B.4.3
讨论与思考 442
B.5 实验五：考场安排问题 443
B.5.1
实验内容 443
B.5.2
实验要求 444
B.6 实验六：展览馆的参观与维护 444
B.7 实验七：导师和研究生的自动分配 445
B.8 实验八：绿色健康城市规划 446
B.9 实验九：羽毛球双打配对和住宿安排 446
附录C?名词英汉对照表?? 448
附录D?使用Mathematica学习离散数学?? 459
D.1 集合、序列与矩阵 459
D.2 排列、组合、递推关系与划分 462
D.3 关系与有向图 463
D.4 图 467
D.5 树 471
附录E?Prolog语言与逻辑推理?? 473
E.1 Prolog基础 473
E.2 典型逻辑问题 479
参考文献?? 483
VIII
离散数学及应用（第2版）
IX
目录
|
| 內容試閱：
|
第2版前言自本书第1版出版以来，作者收到了来自使用本书的师生的众多反馈，而作者在使用本书的过程中也发现了一些问题，特别是作者目前正在进行离散数学课程的MOOC建设及实施，这些因素都促使作者进行了第2版的编写工作。第2版对各章都进行了一些文字与内容的调整，特别是在正文中讲授知识点时补充了一些简单的应用示例，并增补了一定数量的习题，对部分较难的习题增加了必要的提示。此外，较大的变化如下：* 第4章增加了相容关系与集合的覆盖一节。* 第6章增加了信息流的格模型一节。* 第8章增加了点支配、点独立、点覆盖、匹配、边覆盖、网络与流等内容。* 增加了第10章形式语言、自动机与正则表达式。* 增加了附录A综合性研讨专题，可供师生课后阅读和开展研讨使用。* 附录B课程综合实验增加了三个实验。* 增加了附录EProlog语言与逻辑推理，介绍了逻辑编程语言 Prolog的基本概念、基本语法以及简单示例。感谢北京交通大学重点教学改革和建设项目软件工程专业课程群基于慕课的教学改革研究与实践对本书出版的支持。感谢清华大学出版社各位编辑为本书的出版所做的细致工作。在作者完成书稿的过程中，家人和朋友给予了作者很多帮助和大力支持，作者在此深表感谢。由于水平所限，书中难免有不妥或错误之处，恳请广大读者批评指正，可随时与作者联系（liuduo@bjtu.edu.cn）。
作 者2018年5月
第1版前言 离散数学是现代数学的一个重要分支，是计算机专业和软件工程专业的基础主干课程，主要包含集合论、数理逻辑、图论和代数结构4部分基本内容，研究离散对象的结构、规律及相互关系。它在数据结构、操作系统、软件工程、数据库原理、计算机网络、人工智能、编译原理、软件设计形式化、信息安全等领域都有广泛的应用。并且该课程对于培养、训练和提高学生的问题抽象能力、逻辑推理能力、利用离散数学模型分析和解决实际应用问题的能力都有非常重要的作用，可以为学生进一步学习后续课程以及进行或参与创新性的研究和开发工作打下坚实基础。本书的特点是着重讲解基本概念、基本方法及其应用，尽可能减少需要记忆的内容。除严谨系统的理论阐述和细致详尽的内容讲解外，本书给出了大量的典型例题、丰富的应用实例和难易程度不同的大量习题，而且还设计了几个综合的应用案例和实验项目，学生可以利用这些内容加深对基本内容的理解和掌握，更可以动手体会分析问题和解决问题的过程，提高学习的兴趣和效果。本书的内容由浅入深，可读性强，部分内容比较抽象的章节在标题前加了号，教师可根据实际情况选择使用。本书可供高等院校计算机或软件工程专业不同方向本科生一学期的离散数学课程教学使用，也可供其他专业学生和科技人员阅读参考。在编写本书过程中，作者参考了许多已经出版的同类书籍，在此对这些作者表示由衷的感谢！同时特别感谢孙波同志通读全稿并给出很多很好的意见和建议。本书的出版得到了北京交通大学教学改革项目离散结构（双语）课程研究性教学改革及课程资源建设的支持。清华大学出版社龙启铭、战晓雷两位编辑为本书的出版作出大量辛苦而细致的工作，作者在此表示深深的谢意。最后，虽然作者在结构和内容上斟酌再三，几易其稿，但由于水平所限，书中难免有不妥或错误之处，恳请广大读者批评指正，可随时与作者联系（liuduo@bjtu.edu.cn）。
作 者2012年12月
|
|
購物車/收銀台(
0
) | 在線留言板
| 付款方式
| 聯絡我們
| 運費計算
| 幫助中心 |
加入書簽
HOME
新書上架
