离散数学

离散数学
9787030264411
周生明，廖元秀编著

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