本书系统地介绍了离散数学的基本内容。全书共分为10章，主要由四部分组成：数理逻辑，包括命题逻辑和一阶逻辑；集合论，包括集合的基本概念和运算、二元关系和函数；代数结构，包括代数系统的基本概念、 几个典型的代数系统、格和布尔代数；图论基础，包括图的基本概念、树和几种典型图。各章均配有例题和习题，便于读者自学。

本书可作为高等院校计算机相关专业离散数学课程的教材， 也可作为其他院校离散数学课程的教材和教学参考书。

这次修订在保持第一版、第二版语言准确、逻辑严谨、示例丰富等特色的基础上，对各章都进行了一些文字和内容上的调整， 补充了一些应用示例，并增加了一定数量的习题。除此之外，第三版较第二版主要有以下变化：
（1） 对数理逻辑部分的例题进行了扩充，新增了与实际应用结合紧密的例题，以达到理论联系实际、提高读者逻辑推理能力的目的。
（2） 图论基础部分增加了不同类型的图（如欧拉图、哈密顿图）在计算机科学、运筹学、生物信息学等方面的应用，以提高读者的数学涵养，锻炼读者的思维能力、分析能力。
（3） 增加了课程思政方面的素材，从而实现了整个教学过程中知识传授、价值塑造以及能力培养三者的统一。 数理逻辑的学习， 可培养学生的逻辑思维能力，引导学生运用逻辑思维分析问题、解决问题，以实事求是的态度在逻辑推理中追求真理；集合论的学习，可培养学生的抽象思维能力，引导学生理解集体与个人的关系，强化其集体主义精神；图论基础的学习，可引导学生理解事物之间的联系和规律，培养学生的批判性思维，鼓励学生提出创新性的解决方案，激发学生的创新兴趣和实践能力。