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