高等院校计算机教材系列 离散数学

本教材由四篇组成。第一篇数理逻辑，内容有：命题逻辑，一阶逻辑。第二篇集合论，内容有：集合的基本概念和运算，关系和函数。第三篇代数系统，内容有：代数系统概述，几种典型的代数系统。第四篇图论，内容有：图的基本概念，树，几类特殊图。 本书包括了离散数学各部分的基本内容，及其在计算机科学及实际问题中的某些应用。本书概念清晰，叙述严谨精炼，语言通俗易懂，例题讲解详细，并有大量习题，便于读者自学。