目录 第一章 命题逻辑 A 内容提要 B 选题例解 C 习题与解 第二章 谓词逻辑 A 内容提要 B 选题例解 C 习题与解 第三章 集合与关系 A 内容提要 B 选题例解<

离散数学

《离散数学》是计算机科学核心课程——离散数学的基本教材。全书共分五篇。前四篇分别介绍了数理逻辑，集合论，代数结构和图论四个专题。第五篇为应用部分，主要介绍形式语言与自动机以及纠错码初步。内容叙述严谨，推演详尽，大部分概念都用实例说明并配有相当数量的习题。