离散数学

本书分4篇，共10章。第1篇是数理逻辑，内容包括命题逻辑和谓词逻辑；第2篇是集合论，内容包括集合、关系、函数。集合的基数；第3篇是代数系统，内容包括代数系统的基本概念和性质、群、环、域、格与布尔代数；第4篇是图论，内容包括图的基本概念和性质、几类重要的图（树、哈密尔顿图、欧拉图、平面图等）。第10章给出了离散数学在大学计算机类专业课程中的应用。