离散数学

本书将离散数学分为数学逻辑、集合论、代数系统和图论四部分, 系统地介绍了命题逻辑、谓词逻辑、集合、关系、函数、代数结构、格与布尔代数、图、特殊图中有关的定义、定理及证明方法, 并给出了离散数学中不同知识点在计算机科学中的应用。