离散数学 修订版

本书包括离散数学中的四部分内容：数理逻辑（包括命题逻辑与一阶逻辑的基本概念、等值演算以及推理理论），集合论（包括集合代数、二元关系、函数和基数），代数结构（包括代数系统、半群与群、环与域、格与布尔代数），图论（包括图的基本概念、欧拉图与哈密顿图、树、平面图及图的着色、图的某些特殊的顶点的子集与边子集）本书是普通高等教育“十五”国家级规划教材和“高等教育百门精品课程”教材。与本书配套设计的网络教材、电子教案和习题辅导用书即将陆续推出。它们的有机配合满足了不同教学环节的需求，构成了全新的立体化系列教材。本书可作为普通高等学校计算机专业或其他相关专业本科生离散数学课程的教材，也可供其他专业学生和工作人员阅读和参考。