本书共分8章，分别为命题逻辑、一阶逻辑、集合、二元关系和函数、代数系统、格与布尔代数、图论和树.在结构体系上，本书首先介绍数理逻辑及集合相关内容；其次介绍关系及代数系统；最后介绍图论与树的相关知识及应用.每一章的内容介绍之后都选配了适量的习题，做到少而精，注意突出重点.便于学生理解和掌握抽象理论和方法.
本书不仅可作为高等院校数学、计算机科学与技术及相关专业的教材，也可作为从事计算机工作的相关人员的参考书.