"本书将离散数学分为数理逻辑、集合论、代数系统和图论四部分，系统地介绍了命题逻辑、谓词逻辑、集合、关系、函数、代数结构、格与布尔代数、图、特殊图中有关的定义、定理及证明方法，并给出了离散数学中不同知识点在计算机科学中的应用及上机实践指导。本书配有课后习题参考答案及电子教案。 本书结构严谨，逻辑清晰，示例丰富，可以作为高等学校计算机大类各专业“离散数学”必修课教材，也可以作为其他相关专业“离散数学”课程教材，还可以供从事计算机科学工作的科技人员及学生阅读与参考。 "

崔艳荣,教授，博士。1992年6月毕业于中国地质大学计算机应用专业，获学士学位，2008年6月毕业于武汉大学计算机软件与理论专业，获博士学位。主持和参与各级各类项目30余项，发表论文50余篇，主编21世纪高等学校规划教材《物联网概论》，清华大学出版社出版。辅导学生参加全国计算机仿真大赛，获全国一等奖1项、二等奖1项、三等奖2项。获2014年长江大学教学工作突出贡献奖二等奖1项，三等奖1项。获长江大学首届“任大龙奖”，是长江大学教学名师。

前言 离散数学研究各种离散量的结构、性质及其关系，是现代数学的一个重要分支。其研究对象一般是有限个或可数个元素，这与计算机科学离散性的特点相符合，因此，离散数学也称为计算机数学，是计算机科学中基础理论的核心课程，与计算机科学中的数据结构、操作系统、编译原理、算法分析、数据库原理、人工智能、大数据、信息安全、计算机网络等课程联系紧密。通过学习离散数学可以为后续课程的学习打下坚实的数学基础；另外，离散数学逻辑严谨，推理缜密，通过离散数学的学习可以培养学生的抽象思维能力和缜密概括能力。 离散数学是随计算机科学的发展而逐步建立的，由多门数学分支组成，每个分支从不同的角度研究了离散量之间的关系，都是一门独立的研究领域，但又相互关联，因此国内外的教材对每个分支各有侧重，形成了各种不同的教材特色。本书从为计算机科学服务的角度出发，将离散数学分为四篇：第一篇数理逻辑、第二篇集合论、第三篇代数系统、第四篇图论。第一篇数理逻辑分为命题逻辑和谓词逻辑两章，第二篇集合论分为集合、关系、函数三章，第三篇代数系统分为代数结构、格与布尔代数两章，第四篇分为图和特殊图两章。各篇章中所涉及的概念、定理清晰易懂，用词严谨，推演详尽，例题与定义定理相结合，题量丰富，并给出了离散数学知识点在计算机科学中的应用实例，每章均有对主要知识点的总结、主要习题类型及解题方法的讲解，课后习题难易渐进，覆盖面广。本书专门用第10章介绍了离散数学上机实践， 为离散数学对计算机科学的支撑提供参考。 本书作者长期从事离散数学教学工作，有丰富的理论知识和实践经验。本书由崔艳荣、邱林、黄艳娟任主编，胡杰、周张兰、姬厚灵任副主编...