本书共分4章，内容分别为集合、数理逻辑、代数系统和图论。集合主要包括集合概念、二元关系和函数。数理逻辑主要包括数理逻辑和谓词逻辑，就是将自然语言转化为数学符号再依据公式计算。代数系统主要包括代数系统的概念、半群、独异点、群、环、域以及布尔代数。图论主要包括路径、树、图等。图论也是一种研究特定关系的数学，其特点是形象、直观与可计算。本书既注重各部分内容之间的联系，又注重实际应用。各节都配有习题，供读者熟悉本章概念及应用，帮助学习者自我检测。 无论计算机科学本身，还是与计算机科学及其应用密切相关的现代科学研究领域，都需要对离散结构建立相应理解。本书可以作为高等院校计算机及其相关专业的本科生和专科生教材，也可以供从事计算机工作的科学技术人员参考。