本书分4部分。第1部分为数理逻辑，包括命题逻辑和谓词逻辑。第2部分为集合论，包括集合代数，二元关系，函数和基数。第3部分为代数结构，包括代数系统的基本概念，群、环和域，格和布尔代数。第4部分为图论，包括图的基本概念，图的连通性，图的矩阵表示，欧拉图与汉密尔顿图，树，二部图，平面图和图的着色。
本书可作为普通高等学校、职业技术学院、继续教育学院计算机、信息科学专业或其他相关专业本、专科教材，亦可供相关专业的工作人员阅读参考。