本书系统地介绍了离散数学的四大分支——集合理论、抽象代数、数理逻辑与图论的基本内容。全书分成四篇,共9章，分别阐述了集合、关系、函数、代数系统及其性质、几个典型的代数系统、命题逻辑、一阶谓词逻辑、图与特殊图等内容，体系严谨，结构合理，论述清楚，讲解翔实，着重概念的应用。书中配有大量的例题，帮助学生由浅入深地理解与掌握概念，并且每章附有适量的习题。

本书可作为计算机及相关专业本科生的教材，也可以作为计算机专业及相关专业的科技人员使用。