离散数学

2010-8  

机械工业出版社  

张清华　等编著  

200  

离散数学，是现代数学的一个重要分支，是计算机科学中基础理论的核心课程。该课程是以研究离散量的结构和相互间的关系为主要目标，其研究对象一般是有限个或可数个元素，因此它充分描述了计算机科学离散性的特点。离散数学是随着计算机科学的发展而逐步建立的，它形成于20世纪70年代初期，是一门新兴的工具性学科。近年来，计算机科学与技术正在以惊人的速度发展，对人类社会的各个领域产生着日益广泛和深入的影响。计算机科学之所以能取得这样辉煌的成就，与其具有雄厚的理论基础——离散数学是分不开的。该课程与计算机科学中的数据结构、操作系统、编译理论、数据库系统、人工智能、计算机网络、算法分析、逻辑设计、系统结构、容错诊断、机器定理证明等理论课程联系紧密。通过离散数学的学习，不但可以掌握处理离散问题的描述工具和方法，为后续课程的学习创造条件，而且可以提高抽象思维和严格的逻辑推理能力，为将来参与创新性的研究和开发工作打下坚实的基础。本教材是在编者10多年离散数学教学经验的基础上，结合工科学生特别是计算科学与技术专业学生的特点，在学校离散数学重点课程建设的基础上，参考了国内众多教材的优势并借鉴国外教材的特点，结合自己多年的教学和科研成果编写而成的。本书在力求介绍离散数学基础知识的前提下，简明扼要、通俗易懂地介绍相关内容，注重理论联系实际，融入启发式教学理念，使得教师教学和学生自学浑然一体，着重培养学生的创新能力和自学能力。本书的特点如下：内容深入浅出，结构安排合理，知识点脉络清晰，讲解通俗易懂。基础理论与相关实际问题相结合，变抽象思维为形象思维，提高学生创新和自学能力。每个部分结束后给出小结，以便学生及时复习，掌握知识点和知识结构。重点突出解题思路，注重培养学生的数学思维能力和分析、解决问题的能力。编写的内容突出重点，便于工科学生考研复习。全书共分为四部分。本书第一部分由张清华编写，第二部分由尹邦勇编写，第三部分由刘勇编写，第四部分由蒲兴成编写。第一部分是数理逻辑，分为两章，第1章介绍命题逻辑，第2章介绍一阶谓词逻辑；第二部分是集合论初步，分为两章，第3章介绍集合，第4章介绍二元关系与函数；第三部分是代数结构，分为两章，第5章介绍代数系统，第6章介绍几个典型的代数系统；第四部分是图论，主要介绍图论的初步知识。本书不仅可以作为高等院校计算机科学与技术、软件工程等相关专业的教材，也可以作为考研和计算机工作者的参考书。本书的出版得到重庆邮电大学离散数学教材立项资助，并获得重庆邮电大学信息与计算科学专业提升计划和数理学院教改项目的资助。全书的内容修改和出版还得到杨春德、胡学刚、虞继敏、郑继明、吴慧莲、刘显全、何承春等老师的支持和帮助。特别感谢吴慧莲老师为本书提出的宝贵修改意见和建议。感谢为本书出版作出积极贡献和支持的同志们！最后，还要特别感谢机械工业出版社的大力支持，使得本书得以顺利出版。本书主要内容虽然在教学中多次讲授，但由于水平所限，加之时间仓促，书中难免有不妥或错误之处，恳请广大读者批评指正。编者2010年4月于重庆

本书较为系统地介绍了计算机科学与技术等相关专业所必需的离散数学知识，全书分为四个部分（数理逻辑、集合论初步、代数结构和图论），共7章。第1章介绍命题及其命题逻辑；第2章介绍一阶谓词逻辑及其推理理论；第3章介绍集合的基本概念和性质；第4章介绍二元关系和函数；第5章介绍代数系统；第6章介绍几个典型的代数系统；第7章介绍图论的初步内容和一些特殊图及其性质。本书各章之后配有适当难度的习题，便于学生课后练习。每个部分结束后配有内容小结，便于学生自学、复习和提高。　　本书可以作为高等院校计算机科学与技术、软件工程等相关专业的教材，也可以作为考研及计算机工作者的参考书。

前言 教学建议 第一部分　数理逻辑 　第1章　命题逻辑 　　1.1　命题及联结词 　　　1.1.1　命题及其表示 　　　1.1.2　命题联结词 　　1.2　命题公式与真值表 　　　1.2.1　命题公式 　　　1.2.2　命题公式的分类 　　1.3　命题公式的范式与主范式 　　1.4　联结词的完备集 　　1.5　命题推理理论 　　习题1 　第2章　谓词逻辑 　　2.1　谓词的概念与表示 　　　2.1.1　个体词 　　　2.1.2　谓词 　　　2.1.3　量词 　　2.2　谓词公式 　　　2.2.1　谓词公式的概念 　　　2.2.2　约束变元与自由变元的概念 　　　2.2.3　约束变元的换名与自由变元的替换 　　2.3　谓词公式的赋值与分类 　　　2.3.1　谓词公式的赋值 　　　2.3.2　谓词公式的分类 　　2.4　谓词公式的等值演算 　　2.5　谓词公式的前束范式 　　2.6　谓词演算的推理理论 　　　2.6.1　推理定律的来源 　　　2.6.2　推理的实例 　　　习题2 　　第一部分小结 第二部分　集合论 　第3章　集合 　　3.1　集合的基本概念 　　　3.1.1　集合的表示 　　　3.1.2　常用符号 　　3.2　集合的基本运算 　　　3.2.1　集合的二元运算 　　　3.2.2　集合的一元运算 　　　3.2.3　文氏图 　　　3.2.4　集合运算的优先级 　　3.3　集合恒等式 　　　3.3.1　运算律 　　　3.3.2　集合恒等式的证明 　　　习题3 　第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.4　关系的闭包 　　　4.4.1　闭包的定义 　　　4.4.2　闭包的生成 　　4.5　等价关系与偏序关系 　　　4.5.1　等价关系 　　　4.5.2　偏序关系 　　4.6　函数 　　　4.6.1　函数概念 　　　4.6.2　函数复合 　　　4.6.3　逆函数 　　4.7　集合的基数 　　　4.7.1　可数集合 　　　4.7.2　集合的势 　　　习题4 　第二部分小结 第三部分　代数结构 　第5章　代数系统 　第6章　几个典型的代数系统 第三部分　小结 第四部分图论 　第7章　图论基础 第四部分　小结 参考文献

插图：

《离散数学》是编者在学校离散数学重点课程建设的基础上，依据工科学生特别是计算机科学与技术专业学生的特点，参考并借鉴国内外众多教材的优势和特点，结合自己多年的教学和科研成果编写而成的。《离散数学》在力求介绍离散数学基础知识的前提下，简明扼要、通俗易懂地介绍相关内容，注重理论联系实际，融入启发式教学理念，使得教师教学和学生自学浑然一体，着重培养学生的创新能力和自学能力。《离散数学》特点：内容深入浅出，结构安排合理，知识点脉络清晰，讲解通俗易懂。基础理论与相关实际问题相结合，变抽象思维为形象思维，提高学生创新和自学能力。每个部分结束后给出小结，以便学生及时复习，掌握知识点和知识结构。重点突出解题思路，注重培养学生的数学思维能力和分析、解决问题的能力。编写的内容突出重点，便于工科学生考研复习。

离散数学 PDF格式下载

教学必备啊。教科书。学校指定的，感觉书不怎么样

很好，是我们专业要求的。

这本书是我们学校的老师编写的，虽然我没在卓越上买过此书，但手上已经有一本了。本来离散各种概念就很多，这本书应该只是将各种概念堆砌起来，字体不大，密密麻麻的看起来真尼玛烦，本来看那些概念就很烦了。我觉得像这种书，概念很多的书，编者首先要将那些概念系统的连接起来，这样才能让读者学起来轻松些。这本书明显就是在堆砌定义，定理，例题，练习题而已。本人不是故意黑此书，只是本人现在看到此书就特别恼火。

看了它有很多不理解的地方，但是苦于没有什么视屏资料，买的时候说有附带光盘，但回来发现没有！

比上海科技文献那本好懂一些

该教材整体结构合理，逻辑非常清晰，特别是每篇之前的整体结构图更是书中精华，作者将篇中看似繁琐的内容用清晰明了的图式方式展示出来，揭示出概念之间的内在联系，这在同类教材中是绝无仅有的。它使得学生在面对内容多、概念多的离散数学学习时，能够达到事半功倍的效果。教材的第二个特点是强调面向应用式地讲解离散数学。教材基本上为每部分内容都辟有专门的章节，讲解其在实际中的应用，引导学生建立正确的思维方式和思路，帮助学生掌握应用离散数学知识分析和解决实际问题的方法。教材的第三个特点就是对例题和习题的选择。该教材选择与计算机科学直接相关的习题，多选巩固概念、理解概念的习题，多选应用型的习题。这些习题作为好的示例，不仅打开了学生的思想，而且对学生理解离散数学方法，准确掌握理论含义，起到了意想不到的效果。本书体系严谨、内容丰富、配有大量的精选的例题和习题，并与计算机科学的理论与实践密切结合。是一本适合计算机和相关专业学习离散数学的首选教材。