本书是普通高等教育“十一五”国家级规划教材，较全面地介绍了计算机科学与技术及相关专业所必需的数学知识。全书分为数理逻辑、集合论、近世代数与图论4篇。第一篇包括命题逻辑、谓词逻辑和非经典逻辑；第二篇包括集合、关系、函数和粗糙集；第三篇包括代数系统、半群、群、环、域、格和布尔代数；第四篇包括图的基本概念、欧拉图、哈密顿图、树、二分图、平面图和Petri网。各篇相对独立而又有机联系，书中的证明力求严格完整，例题、习题具有一定的典型性。全书内容深入浅出，便于自学，各章配有复习要点及上机练习题，便于读者总结和提高。本书还配有电子教案。

本书可作为高等学校计算机科学与技术及相关专业离散数学课程教材，也可作为考研及相关专业技术人员的参考书。