离散数学2015秋季
欢迎同步选修慕课课程《离散数学概论》: https://www.coursera.org/course/dmathgen
Minecraft: 链接: http://pan.baidu.com/s/1mhidB5Y 密码: vsis
线下考试安排:
- 时间:2016年1月14日(周四上午8:30~10:30)
- 地点:二教525#
线下课程PPT:
慕课课程PPT:
- 离散数学概论-00-引子 (下载26569)
- 离散数学概论-01-数理逻辑1 (下载28786)
- 离散数学概论-02-数理逻辑2 (下载29877)
- 离散数学概论-03-数理逻辑3 (下载29492)
- 离散数学概论-04-集合论1 (下载27648)
- 离散数学概论-05-集合论2 (下载28332)
- 离散数学概论-06-集合论3 (下载28036)
- 离散数学概论-07-图论1 (下载27883)
- 离散数学概论-08-图论2 (下载27300)
- 离散数学概论-09-抽象代数 (下载29264)
- 离散数学概论-10-形式语言与自动机1 (下载27509)
- 离散数学概论-11-形式语言与自动机2 (下载27456)
- 离散数学概论-12-形式语言与自动机3 (下载26981)
慕课课程视频:
- 慕课课程介绍 (下载24430)
- 正式内容之前:形式化及其极限(18:53) (下载17486)
- 正式内容之前:悖论、版画、卡农(11:52) (下载15936)
- 数理逻辑介绍(4:55) (下载17859)
- 什么是命题(5:50) (下载14495)
- 排中律(5:50) (下载14538)
- 命题符号化(7:30) (下载15737)
- 逻辑联结词(上)(6:58) (下载15925)
- 逻辑联结词(下)(7:42) (下载15359)
- 命题公式(6:37) (下载16939)
- 真值函数(6:38) (下载19216)
- 命题形式化(6:33) (下载17406)
- 13-重言式(6:11) (下载14671)
- 14-逻辑等价式和逻辑蕴涵式(17:40) (下载12506)
- 15-代入原理和替换原理(5:41) (下载15229)
- 16-证明逻辑等价式和逻辑蕴涵式(13:53) (下载14070)
- 17-范式及基本术语(7:26) (下载13718)
- 18-求范式的一般步骤(10:25) (下载13609)
- 19-主范式(14:46) (下载13332)
- 20-联结词集完备性(10:28) (下载13537)
- 21-形式系统和证明、演绎(7:02) (下载13250)
- 22-命题演算形式系统PC(9:06) (下载13051)
- 23-PC中的定理证明(7:52) (下载15211)
- 24-三个元定理(15:30) (下载12146)
- 25-定理判定问题(15:38) (下载13004)
- 26-数理逻辑-个体、谓词和量词(14:30) (下载14647)
- 27-数理逻辑-谓词公式(9:52) (下载14782)
- 28-数理逻辑-谓词公式永真式(13:58) (下载14056)
- 29-数理逻辑-谓词演算形式系统FC(9:38) (下载14229)
- 30-数理逻辑-全称引入规则及存在消除规则(8:18) (下载14088)
- 31-数理逻辑-自然推理系统(14:32) (下载12728)
- 32-数理逻辑-ND中的定理证明(6:51) (下载16720)