《离散数学基础及应用》，本书就离散数学的四大部分——数理逻辑、集合论初步及其二元关系、图论初步、代数系统与布尔代数——介绍有关的概念、定理及其证明方法。