本书是作者十多年来面向本科生开设的“离散数学”课程的教学实践积累，同时借鉴了国内外相关课程的教学体系，系统介绍了数理逻辑（命题逻辑、谓词逻辑）、集合论（集合论初步、二元关系）、代数系统（代数系统一般性质、典型代数系统）和图论（图论基础、树），并介绍了组合分析基本知识。本书给出了大量的例题、习题，附录A提供了各章习题答案，有利于读者对相关知识的理解和掌握。 本书可以作为高等院校信息类及相关专业的高年级本科生教材，也可供对离散数学感兴趣的工程技术人员参考阅读。