内容章节包括： 第一篇：数理逻辑 命题逻辑、谓词逻辑 第二篇：集合论 集合与关系、寒暑 第三篇：代数系统 代数结构 第四篇：图论 图论

离散数学是计算机出现以后迅速发展起 来的一门数学分支。计算机科学就是算 法的科学，而计算机所处理的对象是离 散的数据，所以离散对象的处理就成了 计算机科学的核心，而研究离散对象的 科学恰恰就是离散数学