离散数学[电子资源.图书]

作者：  李俊锋，冯刚编著

出版社：清华大学出版社,2006

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