内容简介
《离散数学(第2版)》共分四大部分:数理逻辑部分包括命题逻辑的基本概念、等值演算、范式与推理理论,一阶逻辑的基本概念、前束范式以及推理理论;集合论部分包括集合的基本概念与运算,二元关系的性质与运算、等价关系与偏序关系,函数及其性质,复合函数与反函数等;代数结构部分包括二元运算及代数系统,半群、独异点、群、环与域、格与布尔代数等。图论部分包括图的基本概念和矩阵表示,树的概念、性质及应用,二部图,欧拉图,哈密尔顿图,平面图,图的着色等。本书适合普通高校计算机及相关专业理算数学的入门教材和参考书。