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