本书是编者根据多年讲授离散数学课程的教学实践,为适应计算机科学与技术发展的需要,并参考国内外同类教材而编写,目的在于通过讲授离散数学中的基本概念、基本定理和运算及其在计算机科学与技术学科中的应用,培养学生的数学抽象能力、用数学语言描述问题的能力、逻辑思维能力以及数学论证能力。 本书力求概念阐述严谨,证明推演详尽,较难理解的概念用实例说明。 全书分四篇共 24 章,主要包括集合论与数理逻辑、图论与组合数学、代数结构与初等数论、线性规划与博弈论等内容。本书适合作为普通高等院校计算机类专业的教材,也可供从事离散结构领域研究工作的人员参考。

①被评为十二五普通高等教育本科国家级规划教材。②内容难易适中、层次分明，融知识传授和能力培养为一体，且案例题型多样，配有丰富的教学资源。③对培养学生的数学抽象能力、用数学语言描述问题的能力、逻辑思维能力以及数学论证能力有帮助。④有助于提高学生解决复杂工程问题的数学建模能力和计算思维能力。

刘任任，博士，教授，任职于湘潭大学计算机学院，专业方向为多值逻辑理论、计算机算法，主讲课程有离散数学、编译原理、数据结构、计算机算法设计与分析、计算机科学中的逻辑学、可计算性理论。IEEE计算机学会多值逻辑技术委员会委员，公开出版学术专著1部，发表学术论文90余篇，湖南省优秀教学成果二等奖1项、三等奖2项，出版教材4本，其中所主编的《离散数学》被选为国家级十二五规划教材。王婷，硕士，副教授，任职于湘潭大学计算机学院，专业方向为计算机算法，主讲课程有离散数学、集合论与数理逻辑、图论与组合数学等，主持湖南省教育厅科技项目1项，参与国家自然科学基金项目1项，发表学术论文10多篇，教改论文5篇，获湖南省优秀教学成果奖一等奖1项（排名第3）。曹春红，博士，副教授，曾赴美国乔治亚大学从事访问研究，任职于湘潭大学计算机学院，专业方向为智能计算，主讲课程有离散数学、数据结构 、运筹学、集合论与数理逻辑、代数结构与初等数论等，在中国科学等国内外重要期刊和学术会议上发表论文20多篇，主持完成国家自然科学基金1项，参与2项。