=====离散数学概论=====
  * [[math:discrete_math:gen_discrete_math:math_logic_basics|数理逻辑：基本概念]]
  * [[math:discrete_math:gen_discrete_math:prop_logic_and_formal_system|数理逻辑：命题逻辑和形式系统]]
  * [[math:math_note:gen_discrete_math:predi_logic_and_formal_system|数理逻辑：谓词逻辑及形式系统]]