What & How & Why

差别

这里会显示出您选择的修订版和当前版本之间的差别。

到此差别页面的链接

两侧同时换到之前的修订记录前一修订版
上一修订版两侧同时换到之后的修订记录
math:discrete_math:gen_discrete_math [2020/04/08 03:47] – ↷ 链接因页面移动而自动修正 codingharemath:discrete_math:gen_discrete_math [2020/04/08 03:48] – ↷ 链接因页面移动而自动修正 codinghare
行 1: 行 1:
 =====离散数学概论===== =====离散数学概论=====
-  * [[math:math:discrete_math:gen_discrete_math:math_logic_basics|数理逻辑:基本概念]]+  * [[math:discrete_math:gen_discrete_math:math_logic_basics|数理逻辑:基本概念]]
   * [[math:math_note:gen_discrete_math:prop_logic_and_formal_system|数理逻辑:命题逻辑和形式系统]]   * [[math:math_note:gen_discrete_math:prop_logic_and_formal_system|数理逻辑:命题逻辑和形式系统]]
   * [[math:math_note:gen_discrete_math:predi_logic_and_formal_system|数理逻辑:谓词逻辑及形式系统]]   * [[math:math_note:gen_discrete_math:predi_logic_and_formal_system|数理逻辑:谓词逻辑及形式系统]]