|
| 編輯推薦： |
|
本教材为“十二五”普通高等教育本科国家级规划教材，系统地介绍了离散数学的概念和方法。
|
| 內容簡介： |
离散数学又称离散结构，是研究离散对象的模型、性质及操作的一门学科，是现代数学的一个重要分支，是计算机学科和新一代信息技术的理论基础和工具。本书依据ACM和IEEECS发布的CC2020教程，以及高等学校计算机科学与技术教学指导委员会制定的计算机科学与技术专业规范，着力使内容和知识体系的设计达到理论与实际结合、抽象与直观统一、局部与整体协调。全书共9章，主要内容包括集合、关系、函数、命题逻辑、谓词逻辑、半群和群、环和域、格和布尔代数、图、树等。本书从计算机科学、密码学、通信等领域提取了大量由浅入深的案例，帮助读者掌握离散数学的概念和方法，通过实际问题的建模、分析和求解，帮助读者领会离散数学在计算机科学等领域的应用，同时引领读者探索离散数学的新应用。
本书体系严谨，结构新颖，内容翔实，可作为高等院校计算机及相关专业本科生、研究生“离散数学”课程的教材，也可作为从事计算机及相关领域研究和应用开发人员的参考用书。
|
| 目錄：
|
第1篇集合论
第1章集合
1.1集合的概念及表示
1.1.1基本概念
1.1.2集合的表示
1.2特殊集合
1.2.1子集合
1.2.2幂集合
1.2.3补集合
1.3集合的运算
1.3.1基本运算
1.3.2运算的性质
1.4计数问题
1.4.1基本计数原理
1.4.2排列与组合
1.4.3容斥原理
1.5集合的应用
习题
第2章关系
2.1关系的概念及表示
2.1.1序偶与笛卡儿积
2.1.2关系的定义
2.1.3关系的表示
2.2关系的性质
2.2.1性质的定义
2.2.2性质的判别
2.3关系的运算
2.3.1基本运算
2.3.2复合运算
2.3.3逆运算
2.3.4幂运算
2.3.5闭包运算
2.3.6关系性质的运算封闭性
2.4特殊关系
2.4.1等价关系
2.4.2相容关系
2.4.3偏序关系
2.5关系的应用
习题
第3章函数
3.1函数的概念
3.1.1函数的定义
3.1.2特殊函数
3.2函数的运算
3.2.1复合运算
3.2.2逆运算
3.3函数的应用
习题
第2篇数 理 逻 辑
第4章命题逻辑
4.1命题逻辑的基本概念
4.1.1命题
4.1.2联结词
4.1.3命题符号化的应用
4.2命题逻辑公式
4.2.1命题公式及其解释
4.2.2命题公式的分类
4.2.3命题公式的等值式
4.2.4命题公式的范式
4.3命题逻辑推理
4.3.1推理的基本概念
4.3.2简单证明推理
4.3.3构造证明推理
4.4命题逻辑的应用
习题
第5章谓词逻辑
5.1谓词逻辑的基本概念
5.1.1个体词
5.1.2谓词
5.1.3函词
5.1.4量词
5.1.5命题的谓词逻辑符号化
5.2谓词逻辑公式
5.2.1谓词公式的定义
5.2.2谓词公式的解释
5.2.3谓词公式的分类
5.2.4谓词公式的等值式
5.2.5谓词公式的范式
5.3谓词逻辑推理
5.4谓词逻辑的应用
习题
第3篇抽 象 代 数
第6章代数系统
6.1代数系统的基本概念
6.1.1代数运算
6.1.2代数系统
6.2代数运算的性质
6.2.1基本性质
6.2.2特殊元素
6.3相互联系的代数系统
6.3.1同构代数系统
6.3.2同态代数系统
6.3.3商代数系统
6.4代数系统的应用
习题
第7章典型代数系统
7.1半群和群
7.1.1半群
7.1.2群
7.1.3特殊群
7.1.4群的应用
7.2环和域
7.2.1环
7.2.2域
7.2.3域的应用
7.3格和布尓代数
7.3.1格
7.3.2特殊格
7.3.3布尔代数
7.3.4格的应用
习题
第4篇图 论 基 础
第8章图
8.1图的概念与表示
8.1.1基本概念
8.1.2图的连通性
8.1.3图的操作
8.1.4图的表示
8.2赋权图
8.2.1赋权图的定义
8.2.2最短通路问题
8.3欧拉图
8.3.1欧拉图的定义
8.3.2欧拉图的判定
8.3.3欧拉图的应用
8.3.4中国邮路问题
8.4哈密顿图
8.4.1哈密顿图的定义
8.4.2哈密顿图的判定
8.4.3货郎担问题
8.5二部图
8.5.1二部图的定义
8.5.2二部图的判定
8.5.3匹配问题
8.6平面图
8.6.1平面图的定义
8.6.2平面图的判定
8.6.3图的着色问题
习题
第9章树
9.1无向树
9.1.1基本概念
9.1.2生成树
9.1.3最小生成树问题
9.2有向树
9.2.1基本概念
9.2.2根树
9.2.3二叉树
9.2.4最优树问题
习题
参考文献
|
| 內容試閱：
|
离散数学(discrete mathematics)又称离散结构(discrete structure)，是以离散变量特征的对象为主要目标，研究其模型、性质及操作的一个数学分支。从人类社会历史的发展过程来看，18世纪以前的数学主要讨论整数、整数的比(有理数)，甚至把几何图形也看作由很多孤立的“原子”组成的。因而，那时的数学被看作研究离散的或离散化的数量关系的科学，基本上属于离散数学的范畴。此后，随着数学理论的不断发展(不可通约线段的发现，对无限概念的深入探讨)，加之天文学、物理学中遇到的物体运动等相关问题的需求推动，出现了连续数量的实数概念以及处理连续数量关系的微积分学。20世纪80年代后，随着计算机日益渗透到现代社会的各个方面，工业革命时代以微积分为代表的连续数学占主流地位的情况逐渐发生了变化，离散数学又重新受到高度的重视。
离散数学与计算机科学两者之间有着相辅相成的关系。一方面，离散数学是计算机科学与技术的理论基础，为计算机及其应用的诞生和发展提供了必要的理论支撑。例如，图灵(Alan Mathison Turing，1912—1954)针对可计算所建立的图灵机是计算机的理论模型，这个理念推动了计算机的诞生； 布尔(George Boole，1800—1864)的逻辑代数是计算机硬件分析与设计的基础； 谓词逻辑演算为人工智能学科提供了一种重要的知识表示和推理方法； 代数系统的域为信息安全提供了一种重要的椭圆曲线密码体制，代数系统的格是计算机硬件和软件模型检验验证的理论基础。另一方面，数字电子计算机是一个离散结构，它只能处理离散的或离散化的数量关系。随着计算机科学的迅猛发展，在计算技术、计算机软硬件和计算机应用等各个领域提出了许多以离散变量为特征的理论问题，迫切需要适当的数学工具来描述和深化，从而使人们重新认识到离散变量对象的研究意义，重新重视讨论离散数量关系的数学分支，并取得新的发展。离散数学也因此作为一门学科应运而生，并成为现代数学的一个重要组成部分。
离散数学在计算机科学与技术及相关领域有着广泛的应用。它是计算机科学与技术及相关专业的一门核心基础课程，是许多其他后续课程，如数字电路、程序设计语言、数据结构、操作系统、编译原理、软件工程、人工智能、数据库系统、算法设计与分析、计算机网络、密码学、运筹学等必不可少的先修课程。通过离散数学的学习，学生不但可以掌握处理离散结构的描述工具和研究方法，为后续课程的学习创造条件，而且可以提高抽象思维、逻辑推理和归纳构造能力，为将来参与创新性的研究和开发工作打下坚实的基础。
离散数学是数理逻辑、集合论、关系论、函数论、组合学、数论、代数结构、图论等汇集而成的一门综合课程。它跨越了数学的诸多分支，并与整个计算机学科紧密联系，所涉及的概念和方法，以及采用的符号和工具都远远超出其他任何一门课程，所以不少读者会对这门课程或多或少产生畏惧、厌倦情绪。鉴于上述情况，我们根据多年来对离散数学的研究与教学实践的经验总结，从学生的学习情况及相关专业人员的自学特点出发编写了本书。在编写过程中，我们以“够用”为主，重点突出，并配合了丰富的例题讲解，以达到内容翔实而结构清晰、语言严谨而通俗易懂。同时，在课程的内容和知识体系的设计上，依据ACM和IEEECS发布的CC2020教程，以及高等学校计算机科学与技术教学指导委员会制定的计算机科学与技术专业规范，着力达到理论与实际结合、抽象与直观统一、局部与整体协调。全书共分4篇，第1篇为集合论，包括集合、关系、函数； 第2篇为数理逻辑，包括命题逻辑、谓词逻辑； 第3篇为抽象代数，包括代数系统的基本概念与性质、半群和群、环和域、格和布尔代数； 第4篇为图论基础，包括图的基本概念、赋权图、欧拉图、哈密顿图、二部图、平面图、树等。
本书在撰写过程中参阅了国内外大量的离散数学书籍和相关文献资料，从中汲取了许多先进的思想，摘取了大量有用的素材，在此向相关作者表示感谢。孟瑜、周小川、林煜明等参与了书稿的讨论及部分书稿的文字整理，在此一并表示感谢。
限于作者水平，书中不妥和疏漏之处在所难免，恳请广大读者批评指正。
作者
2022年11月
|
|
購物車/收銀台(0) | 在線留言板
| 付款方式
| 聯絡我們
| 運費計算
| 幫助中心 |
加入書簽
HOME
新書上架
