离散数学 第2版

全书共分六章，分别是绪论、命题逻辑、谓词逻辑、集合论、代数系统和图论。主要内容有离散量与离散数学、命题公式演算、命题逻辑的推理理论、归结演绎推理、谓词公式演算、谓词公式的解释、自然演绎推理、集合运算、集合计数、鸽笼原理、容斥原理、二元关系、偏序、函数与映射、集合的基数、代数运算、同态、同构、群、环、域、格、布尔代数、图的基本概念、图的矩阵表示、有向图、欧拉图、哈密顿图、带权图、树。