本书内容包括离散数学四大支柱的基础理论:数理逻辑、集合论、代数系统和图论。兼顾学生考研的需要,简单介绍了组合数学和粗糙集理论及其应用。本书与同类教材相比,内容精炼,注重理论的思想,单薄理论的证明;加强应用,强调理论与实际相结合,在实践中理解理论的精髓;有的放矢,强化部分重要内容,压缩课时。
离散数学
张清华 蒲兴成 尹邦勇 刘勇 编著
本教材是编者在学校离散数学重点课程建设的基础上,依据工科学生特别是计算机科学与技术专业学生的特点,参考并借鉴国内外众多教材的优势和特点,结合自己多年的教学和科研成果编写而成的。本书在力求介绍离散数学基础知识的前提下,简明扼要、通俗易懂地介绍相关内容,注重理论联系实际,融入启发式教学理念,使得教师教学和学生自学浑然一体,着重培养学生的创新能力和自学能力。
本书特点
内容深入浅出,结构安排合理,知识点脉络清晰,讲解通俗易懂。
基础理论与相关实际问题相结合,变抽象思维为形象思维,提高学生创新和自学能力。
每个部分结束后给出小结,以便学生及时复习,掌握知识点和知识结构。
重点突出解题思路,注重培养学生的数学思维能力和分析、解决问题的能力。
编写的内容突出重点,便于工科学生考研复习。
离散数学,是现代数学的一个重要分支,是计算机科学中基础理论的核心课程。该课程是以研究离散量的结构和相互间的关系为主要目标,其研究对象一般是有限个或可数个元素,因此它充分描述了计算机科学离散性的特点。离散数学是随着计算机科学的发展而逐步建立的,它形成于20世纪70年代初期,是一门新兴的工具性学科。近年来,计算机科学与技术正在以惊人的速度发展,对人类社会的各个领域产生着日益广泛和深入的影响。计算机科学之所以能取得这样辉煌的成就,与其具有雄厚的理论基础——离散数学是分不开的。该课程与计算机科学中的数据结构、操作系统、编译理论、数据库系统、人工智能、计算机网络、算法分析、逻辑设计、系统结构、容错诊断、机器定理证明等理论课程联系紧密。通过离散数学的学习,不但可以掌握处理离散问题的描述工具和方法,为后续课程的学习创造条件,而且可以提高抽象思维和严格的逻辑推理能力,为将来参与创新性的研究和开发工作打下坚实的基础。
本教材是在编者10多年离散数学教学经验的基础上,结合工科学生特别是计算科学与技术专业学生的特点,在学校离散数学重点课程建设的基础上,参考了国内众多教材的优势并借鉴国外教材的特点,结合自己多年的教学和科研成果编写而成的。本书在力求介绍离散数学基础知识的前提下,简明扼要、通俗易懂地介绍相关内容,注重理论联系实际,融入启发式教学理念,使得教师教学和学生自学浑然一体,着重培养学生的创新能力和自学能力。本书的特点如下:
内容深入浅出,结构安排合理,知识点脉络清晰,讲解通俗易懂。
基础理论与相关实际问题相结合,变抽象思维为形象思维,提高学生创新和自学能力。
每个部分结束后给出小结,以便学生及时复习,掌握知识点和知识结构。
重点突出解题思路,注重培养学生的数学思维能力和分析、解决问题的能力。
编写的内容突出重点,便于工科学生考研复习。
全书共分为四部分。本书第一部分由张清华编写,第二部分由尹邦勇编写,第三部分由刘勇编写,第四部分由蒲兴成编写。第一部分是数理逻辑,分为两章,第1章介绍命题逻辑,第2章介绍一阶谓词逻辑;第二部分是集合论初步,分为两章,第3章介绍集合,第4章介绍二元关系与函数;第三部分是代数结构,分为两章,第5章介绍代数系统,第6章介绍几个典型的代数系统;第四部分是图论,主要介绍图论的初步知识。
本书不仅可以作为高等院校计算机科学与技术、软件工程等相关专业的教材,也可以作为考研和计算机工作者的参考书。
本书的出版得到重庆邮电大学离散数学教材立项资助,并获得重庆邮电大学信息与计算科学专业提升计划和数理学院教改项目的资助。全书的内容修改和出版还得到杨春德、胡学刚、虞继敏、郑继明、吴慧莲、刘显全、何承春等老师的支持和帮助。特别感谢吴慧莲老师为本书提出的宝贵修改意见和建议。感谢为本书出版作出积极贡献和支持的同志们!最后,还要特别感谢机械工业出版社的大力支持,使得本书得以顺利出版。
本书主要内容虽然在教学中多次讲授,但由于水平所限,加之时间仓促,书中难免有不妥或错误之处,恳请广大读者批评指正。
编者
2010年4月于重庆
计算机\离散数学
本教材是在学校离散数学重点课程建设的基础上,结合工科学生特别是计算科学与技术专业学生的特点,参考了国内众多教材的优势并借鉴国外教材的特点,结合自己多年的教学和科研成果编写而成的。本书在力求介绍离散数学基础知识的前提下,简明扼要、通俗易懂地介绍相关内容,注重理论联系实际,融入启发式教学理念,使得教师教学和学生自学浑然一体,着重培养学生的创新能力和自学能力。本书的特点如下:
◆内容深入浅出,结构安排合理,知识点脉络清晰,讲解通俗易懂。
◆基础理论与相关实际问题相结合,变抽象思维为形象思维,提高学生创新和自学能力。
◆每个部分结束后给出小结,以便学生及时复习,掌握知识点和知识结构。
◆重点突出解题思路,注重培养学生的数学思维能力和分析、解决问题的能力。
◆编写的内容突出重点,便于工科学生考研复习。
前言
教学建议
第一部分数理逻辑
第1章命题逻辑
11命题及联结词
11 1命题及其表示
11 2命题联结词
12命题公式与真值表
121命题公式
122命题公式的分类
13命题公式的范式与主范式
14联结词的完备集
15命题推理理论
习题1
第2章谓词逻辑
21谓词的概念与表示
211个体词
212谓词
213量词
22谓词公式
221谓词公式的概念
222约束变元与自由变元的概念
223约束变元的换名与自由变元的替换
23谓词公式的赋值与分类
231谓词公式的赋值
232谓词公式的分类
24谓词公式的等值演算
25谓词公式的前束范式
26谓词演算的推理理论
261推理定律的来源
262推理的实例
习题2
第一部分小结
第二部分集合论
第3章集合
31集合的基本概念
311集合的表示
312常用符号
32集合的基本运算
321集合的二元运算
322集合的一元运算
323文氏图
324集合运算的优先级
33集合恒等式
331运算律
332集合恒等式的证明
习题3
第4章二元关系和函数
41二元关系
411笛卡儿积
412二元关系的概念
413二元关系的表示
42关系的运算
421二元关系的域
422逆运算
423复合运算
424幂运算
43关系的性质
431性质的定义
432性质的判定
44关系的闭包
441闭包的定义
442闭包的生成
45等价关系与偏序关系
451等价关系
452偏序关系
46函数
461函数概念
462函数复合
463逆函数
47集合的基数
471可数集合
472集合的势
习题4
第二部分小结
第三部分代数结构
第5章代数系统
51二元运算及其性质
52二元运算中的特殊元素
521幺 元
522零元
523逆元
53代数系统
习题5
第6章几个典型的代数系统
61半群与群
62陪集与拉格朗日定理
63群的同态与同构
64循环群与置换群
641循环群
642置换群
65环和域
651环
652域
66格与布尔代数
661格与子格
662特殊格
习题6
第三部分小结
第四部分图论
第7章图论基础
71图的一些基本概念
72欧拉图和哈密尔顿图
73树
74平面图
75独立集、覆盖集与匹配
习题7
第四部分小结
附录A数理逻辑部分典型例题与求解分析
附录B集合论部分典型例题与求解分析
附录C代数结构部分典型例题与求解分析
附录D图论部分典型例题与求解分析
参考文献