一、知识框架图  二、数理逻辑        1.命题符号化           命题：能判断真假的陈述句           命题包含两个要素：陈述句，能判断真假           命题题符号化的步骤：                                1 )对于不太好理解的联结词或表达方式，如有必要,做适当的文字翻译。                  2 )找出其中所有的原子命题并符号化。                  3 )用适当的联结词将原子命题连接起来，如有必要，在适当位置配上括号。       2.真值表          设A是一命题公式, P1,P2….

离散数学(全美经典学习指导系列)中文版国外经典教材

【应用C】C语言实现离散数学合式公式的递归判断-附件资源

使用MFC CString 对串的检测分析

东北大学离散数学课件

武汉大学黄正华教授的离散数学电子教案，内容非常好，值得借鉴。

计算机经典，Graham Knuth Patashnik合著离散数学。 C O N C R E T E MATHEMATICS Ronald L. Graham AT&T Bell Laboratories Donald E. Knuth Stanford University Oren Patashnik Stanford University

国家十一五教材的答案，这是个经典教材，答案仅供参考~~~~

内含华师大软件学院离散数学试卷及课件，希望对大家有帮助

离散数学课后答案，只有偶数题，而且是英文，介意勿下