离散数学

目录 第一章 命题逻辑 A 内容提要 B 选题例解 C 习题与解 第二章 谓词逻辑 A 内容提要 B 选题例解 C 习题与解 第三章 集合与关系 A 内容提要 B 选题例解 C 习题与解 第四章 函数 A 内容提要 B 选题例解 C 习题与解 第五章 代数结构 A 内容提要 B 选题例解 C 习题与解 第六章 格和布尔代数 A 内容提要 B 选题例解 C 习题与解 第七章 图论 A 内容提要 B 选题例解 C 习题与解 第八章 形式语言与自动机 A 内容提要 B 选题例解 C 习题与解 第九章 纠错码初步 A 内容提要 B 选题例解 C 习题与解 参考文献