本书共分四大部分。数理逻辑部分包括命题逻辑的基本概念、等值演算、范式与推理理论，一阶逻辑的基本概念、前束范式以及推理理论。集合论部分包括集合的基本概念与运算，二元关系的性质与运算、等价关系与偏序关系，函数及其性质，复合函数与反函数等。代数结构部分包括二元运算及代数系统，半群、独异点、群、环与域、格与布尔代数等。图论部分包括图的基本概念和矩阵表示，树的概念、性质及应用，二部图，欧拉图，哈密尔顿图，平面图，图的着色等。本书作为北京市高等教育计算机及应用专业自学考试的指定教材，体系严谨，选材精炼，深浅适度，并配有大量的例题，习题及解答。本书既适合自学，也可以作为普通高校计算机及相关专业离散数学的入门教材或参考书。