内容简介本书共分四大部分，数理逻辑部分包括命题逻辑的基本概念、等值演算、范式与推理论，一阶逻辑的基本概念、前束范式以及推理理论。集合论部分包括集合的基本概念与运算，二元关系的性质与运算、等价关系与偏序关系，函数及其性质，复合函数与反函数等。代数结构部分包括二元运算及代数系统，半群、独异点、群、环与域、格与布尔代数等。图论部分包括图的基本概念和矩阵表示，树的概念、性质及应用，二部图，欧拉图，哈密尔顿图，平面图，图的着色等。