本书为教材。主要讲述了数理逻辑，集合与关系、图论、代数系统等内容，分为数理逻辑、图、关系、函数与集合、树、代数系统、递推方程等七个章节。“离散数学”课程本身的理论性较强，通过实验实践内容的训练，可以突出逻辑性思维训练的特征, 目的是提高学生学习的兴趣及实际动手的能力。为了帮助学生更好地学习本课程，理解和掌握所学基本概念和方法，为整个计算机专业学习打好基础，要求运用所学知识，上机解决一些典型问题，书中所有代码均在VC++环境下调试通过。本书的编写力求做到：理论与算法并重，去掉冗长的证明，保留简洁、有特色、能体现典型的数学思想和方法，强调算法的基本思想和计算机实现，具有较高的实践指导意义和针对性。