O000482　离散数学

---

左孝凌等编著。

上海科学技术文献出版社1982年9月版。36万字。分5篇。前4篇包括数理逻辑、集合论、代数结构与布尔代数、图论等离散数学的基本内容，后1篇应用部分介绍形式语言和自动机以及纠错码初步。

反映计算机科学由初级计算技术的研究转向更高级语言设计过程系统研究的需要；著重于逻辑论证，不仅采用一般常用的分析推理方法，而且较多地介绍各种反证法、归纳法、枚举法和构造法等现代数学的论证方法。通过数学模型同计算机科学的联系反映离散数学在计算机科学中的广泛应用。