离散数学2015秋季

欢迎同步选修慕课课程《离散数学概论》： https://www.coursera.org/course/dmathgen

Minecraft: 链接: http://pan.baidu.com/s/1mhidB5Y 密码: vsis

线下考试安排：

• 时间：2016年1月14日（周四上午8:30~10:30）
• 地点：二教525#

线下课程PPT：

• 离散数学2015上课之前 (下载30310 )

慕课课程PPT：

1. 离散数学概论-00-引子 (下载27710 )
2. 离散数学概论-01-数理逻辑1 (下载30075 )
3. 离散数学概论-02-数理逻辑2 (下载31130 )
4. 离散数学概论-03-数理逻辑3 (下载30543 )
5. 离散数学概论-04-集合论1 (下载29061 )
6. 离散数学概论-05-集合论2 (下载29446 )
7. 离散数学概论-06-集合论3 (下载28969 )
8. 离散数学概论-07-图论1 (下载29250 )
9. 离散数学概论-08-图论2 (下载28722 )
10. 离散数学概论-09-抽象代数 (下载30311 )
11. 离散数学概论-10-形式语言与自动机1 (下载28676 )
12. 离散数学概论-11-形式语言与自动机2 (下载28617 )
13. 离散数学概论-12-形式语言与自动机3 (下载27885 )

慕课课程视频：

1. 慕课课程介绍 (下载25319 )
2. 正式内容之前：形式化及其极限(18:53) (下载18273 )
3. 正式内容之前：悖论、版画、卡农(11:52) (下载16554 )
4. 数理逻辑介绍(4:55) (下载18676 )
5. 什么是命题(5:50) (下载15263 )
6. 排中律(5:50) (下载15232 )
7. 命题符号化(7:30) (下载16432 )
8. 逻辑联结词（上）(6:58) (下载16624 )
9. 逻辑联结词（下）(7:42) (下载16158 )
10. 命题公式(6:37) (下载17598 )
11. 真值函数(6:38) (下载20042 )
12. 命题形式化(6:33) (下载18044 )
13. 13-重言式(6:11) (下载15281 )
14. 14-逻辑等价式和逻辑蕴涵式(17:40) (下载13152 )
15. 15-代入原理和替换原理(5:41) (下载16043 )
16. 16-证明逻辑等价式和逻辑蕴涵式(13:53) (下载14834 )
17. 17-范式及基本术语(7:26) (下载14503 )
18. 18-求范式的一般步骤(10:25) (下载14100 )
19. 19-主范式(14:46) (下载14101 )
20. 20-联结词集完备性(10:28) (下载14257 )
21. 21-形式系统和证明、演绎(7:02) (下载13885 )
22. 22-命题演算形式系统PC(9:06) (下载13729 )
23. 23-PC中的定理证明(7:52) (下载15997 )
24. 24-三个元定理(15:30) (下载12693 )
25. 25-定理判定问题(15:38) (下载13568 )
26. 26-数理逻辑-个体、谓词和量词(14:30) (下载15124 )
27. 27-数理逻辑-谓词公式(9:52) (下载15436 )
28. 28-数理逻辑-谓词公式永真式(13:58) (下载14644 )
29. 29-数理逻辑-谓词演算形式系统FC(9:38) (下载14862 )
30. 30-数理逻辑-全称引入规则及存在消除规则(8:18) (下载14565 )
31. 31-数理逻辑-自然推理系统(14:32) (下载13289 )
32. 32-数理逻辑-ND中的定理证明(6:51) (下载17435 )