离散数学

离散数学，是现代数学的一个重要分支，是计算机科学中基础理论的核心课程。本书内容分基本教材和应用两个部分。基本教材包括数理逻辑、集合论、代数结构与布尔代数、图论等四方面内容；应用部分主要介绍形式语言和自动机以及纠错码初步。