廖元秀

离散数学(第二版).pdf

  本书共分6章,分别是绪论、命题逻辑、谓词逻辑、集合论、代数系统和图论。主要内容包括离散量与离散数学、命题公式演算、命题逻辑的推理理论、归结演绎推理、谓词公式的解释、谓词公式演算、自然演绎推理、集合运算、集合计数、鸽笼原理、包含排除原理(容斥原理)、二元关系、函数与映射、代数运

离散数学.pdf

本书内容包括:离散量与离散数学、命题公式演算、命题逻辑的推理理论、归结演绎推理、谓词公式的解释、自然演绎推理、集合运算、集合计数、鸽笼原理、二元关系、偏序、函数与映射、集合的基数、代数运算等。