内容简介
本书是一部系统化介绍离散数学理论、方法、在后续专业课中的奠基,以及利用离散数学理论和方法解决实际问题的立体化教材(含纸质图书、电子书、教学课件、基于工程认证版教学大纲、微课视频)。全书共分为四篇:第一篇数理逻辑(第1、2章),介绍了命题逻辑和谓词逻辑;第二篇集合论(第3、4章),介绍了集合与关系、特殊关系及应用;第三篇代数系统(第5、6章),介绍了代数结构、格与布尔代数;第四篇图论(第7、8章),介绍了图论基础和树。
为便于读者高效学习,快速掌握离散数学理论与方法,本书作者精心制作了完整的教学课件(8章PPT)与相关知识点的微课视频教程(200分钟)。
本书可作为各类高等院校计算机等相关专业的“离散数学”课程教材或教学参考书。