离散数学是现代数学的重要分支，是计算机专业和软件工程专业的基础主干课程，是进一步学习后续课程以及进行研究和开发的基础。本书根据作者多年教学经验编写而成，着重讲解离散数学的基本概念、基本方法及其应用，给出了大量的典型例题和习题以及若干综合专题及应用案例。全书共10章，内容包括朴素集合论、数论基础、计数基础、命题逻辑、谓词逻辑、二元关系、函数、偏序关系与格、代数结构、图论、树、形式语言、自动机与正则表达式。附录给出了离散数学综合性研讨专题。 本书结构紧凑，内容精练，体系严谨，语言流畅，讲解详细，可作为高等学校计算机和软件工程专业本科生和研究生的离散数学课程教材，也可供其他专业学生和科技人员阅读参考。