离散数学 左孝凌 / 刘永才 PDF电子书 电子教材

离散数学  上海科学技术文献出版社 左孝凌 / 刘永才 PDF电子书 电子教材

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

目录
第一篇 数理逻辑
第一章 命题逻辑
第二章 谓词逻辑
第二篇 集合论
第三章 集合与关系
第四章 函数
第三篇 代数系统
第五章 代数结构
第六章 格与布尔代数
第四篇 图论
第七章 图论
第五篇 计算机科学中的应用
第八章 形式语言与自动机
第九章 纠错码初步
符号表
参考文献