本书包括数理逻辑(命题逻辑与一阶逻辑)、集合论(集合的基本概念和运算及二元关系和函数)、代数系统(代数系统的基本概念、集中典型的代数系统及布尔代数)、图论基础(图的基本概念、树和几种典型图)四部分。本书可作为一般本科院校计算机类相关专业的离散数学教材。注重数学思维培养，培养学生的数学思维能力，例如通过逻辑推理、抽象思维等方法来分析问题、解决问题。同时，可以引导学生进行证明和推理，培养他们的逻辑思维和严谨性。