离散数学

本书由四篇组成。第一篇数理逻辑，内容有：命题逻辑，一阶逻辑。第二篇集合论，内容有：集合的基本概念和运算，关系和函数。第三篇代数系统，内容有：代数系统概述，几种典型的代数系统。第四篇图论，内容有：图的基本概念，树，几类特殊图。