内容简介：
《离散数学》是计算机科学核心课程——离散数学的基本教材。全书共分五篇。前四篇分别介绍了数理逻辑，集合论，代数结构和图论四个专题。第五篇为应用部分，主要介绍形式语言与自动机以及纠错码初步。内容叙述严谨，推演详尽，大部分概念都用实例说明并配有相当数量的习题。
目录：
第一篇 数理逻辑
第一章 命题逻辑
第二章 谓词逻辑
第二篇 集合论
第三章 集合与关系
第四章 函数
第三篇 代数系统
第五章 代数结构
第六章 格与布尔代数
第四篇 图论
第七章 图论
第五篇 计算机科学中的应用
第八章 形式语言与自动机
第九章 纠错码初步
符号表
参考文献