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