离散数学

本书分数理逻辑、集合论、代数系统和图论四篇，讲述了命题逻辑和谓词逻辑的基本概念和运算、集合的概念和运算、二元运算的基本性质以及图的基本概念及有关应用等内容。