本书共分7章，分别阐述了集合的基本概念、关系、函数、命题逻辑、一阶谓词逻辑、图与特殊图。本书体系严谨、结构合理、论述清楚、讲解翔实，着重概念的应用，书中配有大量的例题，帮助学生由浅入深地理解与掌握概念，每章附有适量的习题。

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