离散数学（第二版）

离散数学（第二版）
9787030535665
廖元秀,周生明 编著

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