离散数学

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