本书系统地介绍了离散数学的各大组成部分，全书分为5个部分。第一部分是数理逻辑，主要包含命题逻辑和谓词逻辑的内容；第二部分是集合论初步，主要介绍集合论、二元关系和函数；第三部分是代数系统，包含代数系统的有关内容和几个典型的代数系统；第四部分介绍图论；第五部分介绍离散数学在计算机学科的具体应用。本书的各章之后配有适当难度的习题，便于学生在学完本章内容之后进行课后练习。本书可以作为高等学校计算机专业和非计算机专业相关课程的教材，也可作为考研人员和计算机工作者的参考书。