离散数学
作者： 李俊锋, 冯刚编著
出版社：
简介：本书较系统地介绍了计算机科学与技术专业的核心课程——离散数学的
基本知识。全书分为经典数理逻辑、非经典数理逻辑、集合论、离散概率、
抽象代数和图论6部分。经典数理逻辑包括命题逻辑和一阶逻辑；非经典数
理逻辑包括模态命题逻辑和模态一阶逻辑；集合论包括集合的基本关系与运
算、函数和关系；离散概率介绍离散概率的基本内容；抽象代数包括代数系
统、群、环和域、格； 图论包括图的基本问题、树和特殊图。
本书内容丰富、概念清晰，叙述简洁而严谨，力求语言生动、深入浅出
，诠释严格而灵活，避免纯粹公式化、抽象化，易于读者理解和接受。书中
配有相当数量的例题和习题。
本书可作为高等院校计算机科学与技术专业的离散数学教材，也可供考
研以及相关专业科研工作者参考。
