作者	左孝凌
出版社
出版时间	2001-08-01

特色：

本书内容分基本教材和应用两个部分。基本教材包括数理逻辑、集合论、代数结构与布尔代数、图论等四方面内容；应用部分主要介绍形式语言和自动机以及纠错码初步。