内容简介

本书是“十二五”普通高等教育本科国家级规划教材。

本书是编者根据多年讲授离散数学课程的教学实践，并参考国内外同类教材编写而成的。为适应计算机科学发展的需要，本书增加了新的内容，其目的在于通过讲授离散数学中的基本概念、基本定理和运算及其在计算机科学与技术学科中的应用，培养学生的数学抽象能力、用数学语言描述问题的能力、逻辑思维能力以及数学论证能力。本书力求概念阐述严谨，证明推演详尽，较难理解的概念用实例说明。全书分四篇共24章，内容包括：集合论与数理逻辑、图论与组合数学、代数结构与初等数论、形式语言与自动机理论基础。本书有配套教材《离散数学题解与分析（第二版）》（刘任任主编，中国铁道出版社出版，2015年）。

本书适合作为高等院校计算机及相关专业的教材，也可供从事离散结构领域研究工作的人员参考。