离散数学

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