本书共分为四部分：第一部分是数理逻辑，包括命题逻辑和谓词逻辑，涉及用符号表达自然语言，并进行逻辑分析和推理，是整个离散数学的基础；第二部分是集合论，包括集合、关系以及函数；第三部分是图论，涵盖了图的术语、表示和特殊结构等；第四部分是代数系统，一个高度抽象的部分，涵盖了半群、群、环和域。