离散数学，是现代数学的一个重要分支，是计算机科学中基础理论的核心课程。离散数学是以研究离散量的结构和相互间的关系为主要目标，其研究对象一般地是有限个或可数个元素，因此它充分描述了计算机科学离散性的特点。离散数学是随着计算机科学的发展而逐步建立的，它形成于七十年代初期，是一门新兴的工具性学科。本书内容分基本教材和应用两个部分。基本教材包括数理逻辑、集合论、代数结构与布尔代数、图论等四方面内容；应用部分主要介绍形式语言和自动机以及纠错码初步。

第一篇 数理逻辑

第一章 命题逻辑

第二章 谓词逻辑

第二篇 集合论

第三章 集合与关系

第四章 函数

第三篇 代数系统

第五章 代数结构

第六章 格与布尔代数

第四篇 图论

第七章 图论

第五篇 计算机科学中的应用

第八章 形式语言与自动机

第九章 纠错码初步

符号表

参考文献