本书共分为4篇： 数理逻辑、集合论、代数系统、图论。数理逻辑包括命题逻辑和谓词逻辑； 集合论介绍了集合、关系、函数等； 代数系统介绍了群、环、域等；图论部分介绍了图的基本概念及特殊图。本书结合基本理论和基本方法详细介绍了这4部分在计算机中的实际应用。在编写过程中，以数理逻辑的基本思想为主线，将离散数学各个部分有机地结合起来，力求条理清楚、深入浅出，通过该课程的学习，可使读者掌握必备的离散数学知识，并提高其利用离散数学知识分析和解决实际问题的能力。本书可作为一般本科院校计算机科学技术等相关专业的本科生和研究生的教学用书，也可作为计算机科学与技术以及研究人员的参考用书。