离散数学 Discrete Mathematics

1. 第10周：形式语言与自动机：基本概念/10 - 1 - 80-语言及研究方向(18-10).mp441.82MB
2. 第10周：形式语言与自动机：基本概念/10 - 2 - 81-形式语言(13-30).mp431.32MB
3. 第10周：形式语言与自动机：基本概念/10 - 3 - 82-短语结构语法(9-58).mp421.67MB
4. 第10周：形式语言与自动机：基本概念/10 - 4 - 83-语言及语法表示(9-58).mp421.77MB
5. 第10周：形式语言与自动机：基本概念/10 - 5 - 84-形式语法分类(9-28).mp420.52MB
6. 第10周：形式语言与自动机：基本概念/10 - 6 - 85-语法分析(8-10).mp417.79MB
7. 第10周：形式语言与自动机：基本概念/10 - 7 - 86-BNF范式(13-29).mp429.74MB
8. 第10周：形式语言与自动机：基本概念/10 - 8 - 87-语法图(8-04).mp413.17MB
9. 第10周：形式语言与自动机：基本概念/10 - 9 - 88-正则语法(5-56).mp415.58MB
10. 第11周：形式语言与自动机：有限状态机/11 - 1 - 89-有限状态机(9-22).mp424.92MB
11. 第11周：形式语言与自动机：有限状态机/11 - 2 - 90-状态图(11-09).mp429.83MB
12. 第11周：形式语言与自动机：有限状态机/11 - 3 - 91-泵引理(10-35).mp427.43MB
13. 第11周：形式语言与自动机：有限状态机/11 - 4 - 92-机器同余(6-30).mp418.14MB
14. 第11周：形式语言与自动机：有限状态机/11 - 5 - 93-商机器(7-08).mp415.7MB
15. 第11周：形式语言与自动机：有限状态机/11 - 6 - 94-商机器的性质(10-16).mp428.26MB
16. 第11周：形式语言与自动机：有限状态机/11 - 7 - 95-机器化简(8-10).mp417.36MB
17. 第11周：形式语言与自动机：有限状态机/11 - 8 - 96-带输出的机器(9-26).mp424.57MB
18. 第11周：形式语言与自动机：有限状态机/11 - 9 - 97-程序实现状态机(9-13).mp425.78MB
19. 第12周：形式语言与自动机：图灵机与计算理论/12 - 1 - 98-图灵机(10-07).mp427.41MB
20. 第12周：形式语言与自动机：图灵机与计算理论/12 - 2 - 99-图灵机例子(9-33).mp426.1MB
21. 第12周：形式语言与自动机：图灵机与计算理论/12 - 3 - 100-图灵机变种(6-41).mp417.15MB
22. 第12周：形式语言与自动机：图灵机与计算理论/12 - 4 - 101-识别与判定(8-32).mp422.21MB
23. 第12周：形式语言与自动机：图灵机与计算理论/12 - 5 - 102-哥德尔编码(11-11).mp428.64MB
24. 第12周：形式语言与自动机：图灵机与计算理论/12 - 6 - 103-通用图灵机(7-45).mp420.32MB
25. 第12周：形式语言与自动机：图灵机与计算理论/12 - 7 - 104-停机问题(15-32).mp440MB
26. 第12周：形式语言与自动机：图灵机与计算理论/12 - 8 - 105-哥德尔不完备定理(11-07).mp424.76MB
27. 第12周：形式语言与自动机：图灵机与计算理论/12 - 9 - 106-不可判定问题(8-30).mp422.03MB
28. 第1周：数理逻辑：基本概念/1 - 1 - 02-正式内容之前：形式化及其极限(18-53).mp432.11MB
29. 第1周：数理逻辑：基本概念/1 - 10 - 11-真值函数(6-38).mp410.02MB
30. 第1周：数理逻辑：基本概念/1 - 11 - 12-命题形式化(6-33).mp410.91MB
31. 第1周：数理逻辑：基本概念/1 - 2 - 03-正式内容之前：悖论、版画、卡农(11-52).mp421.77MB
32. 第1周：数理逻辑：基本概念/1 - 3 - 04-数理逻辑介绍(4_55).mp49.2MB
33. 第1周：数理逻辑：基本概念/1 - 4 - 05-什么是命题(5-50).mp412.48MB
34. 第1周：数理逻辑：基本概念/1 - 5 - 06-排中律(5-50).mp411.42MB
35. 第1周：数理逻辑：基本概念/1 - 6 - 07-命题符号化(7-30).mp413.85MB
36. 第1周：数理逻辑：基本概念/1 - 7 - 08-逻辑联结词（上）(6-58).mp413.89MB
37. 第1周：数理逻辑：基本概念/1 - 8 - 09-逻辑联结词（下）(7-42).mp415.65MB
38. 第1周：数理逻辑：基本概念/1 - 9 - 10-命题公式(6-37).mp411.86MB
39. 第2周：数理逻辑：命题逻辑及形式系统/2 - 1 - 13-重言式(6-11).mp414.18MB
40. 第2周：数理逻辑：命题逻辑及形式系统/2 - 10 - 22-命题演算形式系统PC(9-06).mp421.69MB
41. 第2周：数理逻辑：命题逻辑及形式系统/2 - 11 - 23-PC中的定理证明(7-52).mp412.93MB
42. 第2周：数理逻辑：命题逻辑及形式系统/2 - 12 - 24-三个元定理(15-30).mp441.11MB
43. 第2周：数理逻辑：命题逻辑及形式系统/2 - 13 - 25-定理判定问题(15-38).mp435.87MB
44. 第2周：数理逻辑：命题逻辑及形式系统/2 - 2 - 14-逻辑等价式和逻辑蕴涵式(17-40).mp443.02MB
45. 第2周：数理逻辑：命题逻辑及形式系统/2 - 3 - 15-代入原理和替换原理(5-41).mp411.09MB
46. 第2周：数理逻辑：命题逻辑及形式系统/2 - 4 - 16-证明逻辑等价式和逻辑蕴涵式(13-53).mp425.06MB
47. 第2周：数理逻辑：命题逻辑及形式系统/2 - 5 - 17-范式及基本术语(7-26).mp417.04MB
48. 第2周：数理逻辑：命题逻辑及形式系统/2 - 6 - 18-求范式的一般步骤(10-25).mp422.57MB
49. 第2周：数理逻辑：命题逻辑及形式系统/2 - 7 - 19-主范式(14-46).mp424.36MB
50. 第2周：数理逻辑：命题逻辑及形式系统/2 - 8 - 20-联结词集完备性(10-28).mp425.48MB
51. 第2周：数理逻辑：命题逻辑及形式系统/2 - 9 - 21-形式系统和证明、演绎(7-02).mp415.32MB
52. 第3周：数理逻辑：谓词逻辑及形式系统/3 - 1 - 26-数理逻辑-个体、谓词和量词(14-30).mp426.75MB
53. 第3周：数理逻辑：谓词逻辑及形式系统/3 - 2 - 27-数理逻辑-谓词公式(9-52).mp416.33MB
54. 第3周：数理逻辑：谓词逻辑及形式系统/3 - 3 - 28-数理逻辑-谓词公式永真式(13-58).mp429.8MB
55. 第3周：数理逻辑：谓词逻辑及形式系统/3 - 4 - 29-数理逻辑-谓词演算形式系统FC(9-38).mp419.55MB
56. 第3周：数理逻辑：谓词逻辑及形式系统/3 - 5 - 30-数理逻辑-全称引入规则及存在消除规则(8-18).mp415MB
57. 第3周：数理逻辑：谓词逻辑及形式系统/3 - 6 - 31-数理逻辑-自然推理系统(14-32).mp430.92MB
58. 第3周：数理逻辑：谓词逻辑及形式系统/3 - 7 - 32-数理逻辑-ND中的定理证明(6-51).mp411.12MB
59. 第4周：集合论：集合代数/4 - 1 - 33-集合论与无限(18-26).mp453.21MB
60. 第4周：集合论：集合代数/4 - 2 - 34-集合基本概念(15-17).mp446.79MB
61. 第4周：集合论：集合代数/4 - 3 - 35-子集合(13-26).mp427.04MB
62. 第4周：集合论：集合代数/4 - 4 - 36-集合基本运算(23-03).mp445.77MB
63. 第4周：集合论：集合代数/4 - 5 - 37-集合族及运算(17-02).mp433.25MB
64. 第4周：集合论：集合代数/4 - 6 - 38-归纳定义(10-16).mp418.7MB
65. 第4周：集合论：集合代数/4 - 7 - 39-自然数的定义(11-35).mp422.59MB
66. 第4周：集合论：集合代数/4 - 8 - 40-归纳原理(7-26).mp413.02MB
67. 第4周：集合论：集合代数/4 - 9 - 41-数学归纳法(11-58).mp421.1MB
68. 第4周：集合论：集合代数/趣味动画：希尔伯特旅馆悖论.flv45.04MB
69. 第5周：集合论：关系基本概念/5 - 1 - 42-有序组(7-00).mp415.63MB
70. 第5周：集合论：关系基本概念/5 - 2 - 43-笛卡尔积(8-36).mp418.39MB
71. 第5周：集合论：关系基本概念/5 - 3 - 44-关系定义(14-17).mp431.15MB
72. 第5周：集合论：关系基本概念/5 - 4 - 45-关系运算(9-13).mp420.15MB
73. 第5周：集合论：关系基本概念/5 - 5 - 46-关系合成运算(19-00).mp443.19MB
74. 第5周：集合论：关系基本概念/5 - 6 - 47-关系基本特性(10-48).mp424.22MB
75. 第5周：集合论：关系基本概念/5 - 7 - 48-关系特性定理(16-35).mp432.24MB
76. 第6周：集合论：特殊关系及函数/6 - 1 - 49-等价关系(11-24).mp426.44MB
77. 第6周：集合论：特殊关系及函数/6 - 2 - 50-等价关系与划分(11-57).mp427.94MB
78. 第6周：集合论：特殊关系及函数/6 - 3 - 51-划分之间的关系(9-23).mp417.31MB
79. 第6周：集合论：特殊关系及函数/6 - 4 - 52-划分运算(10-18).mp419.94MB
80. 第6周：集合论：特殊关系及函数/6 - 5 - 53-序关系(12-22).mp424.89MB
81. 第6周：集合论：特殊关系及函数/6 - 6 - 54-序关系中的特殊元素(17-32).mp436.68MB
82. 第6周：集合论：特殊关系及函数/6 - 7 - 55-函数(14-39).mp433.27MB
83. 第6周：集合论：特殊关系及函数/6 - 8 - 56-函数合成(5-59).mp49.27MB
84. 第6周：集合论：特殊关系及函数/6 - 9 - 57-特殊函数类(8-26).mp419.07MB
85. 第7周：图论：图的基本概念/7 - 1 - 58-图的定义(9-13).mp419.34MB
86. 第7周：图论：图的基本概念/7 - 2 - 59-图的基本概念(7-40).mp417.13MB
87. 第7周：图论：图的基本概念/7 - 3 - 60-度和正则图(7-12).mp415.94MB
88. 第7周：图论：图的基本概念/7 - 4 - 61-子图与同构图(8-33).mp419.24MB
89. 第7周：图论：图的基本概念/7 - 5 - 62-路径与连通性(12-45).mp429.04MB
90. 第7周：图论：图的基本概念/7 - 6 - 63-连通性(7-51).mp418.1MB
91. 第7周：图论：图的基本概念/7 - 7 - 64-欧拉图与哈密顿图(12-23).mp427.68MB
92. 第8周：图论：特殊图/8 - 1 - 65-图的矩阵表示(12-19).mp427.47MB
93. 第8周：图论：特殊图/8 - 2 - 66-二分图(11-42).mp421.39MB
94. 第8周：图论：特殊图/8 - 3 - 67-二分图的匹配(13-22).mp426.96MB
95. 第8周：图论：特殊图/8 - 4 - 68-平面图(8-27).mp418.64MB
96. 第8周：图论：特殊图/8 - 5 - 69-树(9-05).mp418.64MB
97. 第8周：图论：特殊图/8 - 6 - 70-树的应用(9-47).mp419.98MB
98. 第9周：抽象代数/9 - 1 - 71-引言(7-15).mp417.19MB
99. 第9周：抽象代数/9 - 2 - 72-代数结构(10-05).mp422.45MB
100. 第9周：抽象代数/9 - 3 - 73-幺元(4-09).mp49.2MB
101. 第9周：抽象代数/9 - 4 - 74-零元(3-44).mp48.43MB
102. 第9周：抽象代数/9 - 5 - 75-逆元(9-28).mp420.93MB
103. 第9周：抽象代数/9 - 6 - 76-可约元素(6-05).mp413.18MB
104. 第9周：抽象代数/9 - 7 - 77-同构与同态(11-56).mp428MB
105. 第9周：抽象代数/9 - 8 - 78-同余关系(4-43).mp411.28MB
106. 第9周：抽象代数/9 - 9 - 79-群环域(4-49).mp48.86MB