本书是普通高等教育“十二五”*规划教材,较全面地介绍了计算机科学与技术、软件工程及相关专业所必需的数学知识。全书共分为数理逻辑、集合论、近世代数与图论4篇。*篇包括命题逻辑、谓词逻辑和非经典逻辑;第二篇包括集合、关系、函数和粗糙集;第三篇包括代数系统的概念、半群、群、环、域、格和布尔代数;第四篇包括图的基本概念、欧拉图、哈密顿图、树、二分图和平面图。各篇相对独立而又有机联系,书中的证明力求严格完整。书中的例题、习题具有一定的典型性。全书内容深入浅出,便于自学。各章有复习提要,便于读者总结和提高。 本书可作为高等院校计算机科学与技术、软件工程及相关专业离散数学课程的教材,也可作为考研及相关专业技术人员的参考书。