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

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

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

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