本书分为四部分，共9章。第壹部分为数理逻辑，主要包括命题逻辑、一阶逻辑及数理逻辑中的推理证明等内容。第二部分为集合论，主要包括集合、矩阵、关系和函数等内容。第三部分为图论，主要包括图的基本概念和矩阵表示、特殊图和树等内容。第四部分为代数系统，主要包括代数系统基础、格与布尔代数等内容。
本书内容丰富，层次分明，重点突出，并注重离散数学的实用性，可以为计算机专业学生提供重要的数学基础。本书可作为计算机专业本科生、大专生等的理论教学教材。