内容简介
本书以详尽和丰富的资料，全面介绍计算机科学与技术及相关专业所必需的离散数学知识。本书分为4篇。第1篇为数理逻辑，包括命题逻辑和谓词逻辑。第2篇为集合论，包括集合的概念和基本运算、关系和函数。第3篇是代数系统，包括代数系统一般性质和典型的代数系统。第4篇是图论，包括图的基本概念、欧拉图和哈密顿图及特殊图。各篇相对独立而又有机联系，讲解与证明力求严格完整。书中的例题、习题具有一定的典型性，内容深入浅出、通俗易懂，理论上具有完整性和系统性，易于教学，便于自学。
本书适合于不同层次和领域的学生及研究人员，可以作为高等院校计算机科学与技术及相关专业本科生和研究生的教材或教学辅导书目，也可以作为考研和相关专业技术人员的参考书。