| 离散数学AA/离散数学 Discrete Mathematics/第4周：集合论：集合代数/4 - 1 - 33-集合论与无限(18-26).mp4 | 53.21 MB |
| 离散数学AA/离散数学 Discrete Mathematics/第4周：集合论：集合代数/4 - 2 - 34-集合基本概念(15-17).mp4 | 46.79 MB |
| 离散数学AA/离散数学 Discrete Mathematics/第4周：集合论：集合代数/4 - 4 - 36-集合基本运算(23-03).mp4 | 45.77 MB |
| 离散数学AA/离散数学 Discrete Mathematics/第4周：集合论：集合代数/趣味动画：希尔伯特旅馆悖论.flv | 45.04 MB |
| 离散数学AA/离散数学 Discrete Mathematics/第5周：集合论：关系基本概念/5 - 5 - 46-关系合成运算(19-00).mp4 | 43.19 MB |
| 离散数学AA/离散数学 Discrete Mathematics/第2周：数理逻辑：命题逻辑及形式系统/2 - 2 - 14-逻辑等价式和逻辑蕴涵式(17-40).mp4 | 43.02 MB |
| 离散数学AA/离散数学 Discrete Mathematics/第10周：形式语言与自动机：基本概念/10 - 1 - 80-语言及研究方向(18-10).mp4 | 41.82 MB |
| 离散数学AA/离散数学 Discrete Mathematics/第2周：数理逻辑：命题逻辑及形式系统/2 - 12 - 24-三个元定理(15-30).mp4 | 41.11 MB |
| 离散数学AA/离散数学 Discrete Mathematics/第12周：形式语言与自动机：图灵机与计算理论/12 - 7 - 104-停机问题(15-32).mp4 | 40 MB |
| 离散数学AA/离散数学 Discrete Mathematics/第6周：集合论：特殊关系及函数/6 - 6 - 54-序关系中的特殊元素(17-32).mp4 | 36.68 MB |
| 离散数学AA/离散数学 Discrete Mathematics/第2周：数理逻辑：命题逻辑及形式系统/2 - 13 - 25-定理判定问题(15-38).mp4 | 35.87 MB |
| 离散数学AA/离散数学 Discrete Mathematics/第6周：集合论：特殊关系及函数/6 - 7 - 55-函数(14-39).mp4 | 33.27 MB |
| 离散数学AA/离散数学 Discrete Mathematics/第4周：集合论：集合代数/4 - 5 - 37-集合族及运算(17-02).mp4 | 33.25 MB |
| 离散数学AA/离散数学 Discrete Mathematics/第5周：集合论：关系基本概念/5 - 7 - 48-关系特性定理(16-35).mp4 | 32.24 MB |
| 离散数学AA/离散数学 Discrete Mathematics/第1周：数理逻辑：基本概念/1 - 1 - 02-正式内容之前：形式化及其极限(18-53).mp4 | 32.11 MB |
| 离散数学AA/离散数学 Discrete Mathematics/第10周：形式语言与自动机：基本概念/10 - 2 - 81-形式语言(13-30).mp4 | 31.32 MB |
| 离散数学AA/离散数学 Discrete Mathematics/第5周：集合论：关系基本概念/5 - 3 - 44-关系定义(14-17).mp4 | 31.15 MB |
| 离散数学AA/离散数学 Discrete Mathematics/第3周：数理逻辑：谓词逻辑及形式系统/3 - 6 - 31-数理逻辑-自然推理系统(14-32).mp4 | 30.92 MB |
| 离散数学AA/离散数学 Discrete Mathematics/第11周：形式语言与自动机：有限状态机/11 - 2 - 90-状态图(11-09).mp4 | 29.83 MB |
| 离散数学AA/离散数学 Discrete Mathematics/第3周：数理逻辑：谓词逻辑及形式系统/3 - 3 - 28-数理逻辑-谓词公式永真式(13-58).mp4 | 29.8 MB |
| 离散数学AA/离散数学 Discrete Mathematics/第10周：形式语言与自动机：基本概念/10 - 7 - 86-BNF范式(13-29).mp4 | 29.74 MB |
| 离散数学AA/离散数学 Discrete Mathematics/第7周：图论：图的基本概念/7 - 5 - 62-路径与连通性(12-45).mp4 | 29.04 MB |
| 离散数学AA/离散数学 Discrete Mathematics/第12周：形式语言与自动机：图灵机与计算理论/12 - 5 - 102-哥德尔编码(11-11).mp4 | 28.64 MB |
| 离散数学AA/离散数学 Discrete Mathematics/第11周：形式语言与自动机：有限状态机/11 - 6 - 94-商机器的性质(10-16).mp4 | 28.26 MB |
| 离散数学AA/离散数学 Discrete Mathematics/第9周：抽象代数/9 - 7 - 77-同构与同态(11-56).mp4 | 28 MB |
| 离散数学AA/离散数学 Discrete Mathematics/第6周：集合论：特殊关系及函数/6 - 2 - 50-等价关系与划分(11-57).mp4 | 27.94 MB |
| 离散数学AA/离散数学 Discrete Mathematics/第7周：图论：图的基本概念/7 - 7 - 64-欧拉图与哈密顿图(12-23).mp4 | 27.68 MB |
| 离散数学AA/离散数学 Discrete Mathematics/第8周：图论：特殊图/8 - 1 - 65-图的矩阵表示(12-19).mp4 | 27.47 MB |
| 离散数学AA/离散数学 Discrete Mathematics/第11周：形式语言与自动机：有限状态机/11 - 3 - 91-泵引理(10-35).mp4 | 27.43 MB |
| 离散数学AA/离散数学 Discrete Mathematics/第12周：形式语言与自动机：图灵机与计算理论/12 - 1 - 98-图灵机(10-07).mp4 | 27.41 MB |
| 离散数学AA/离散数学 Discrete Mathematics/第4周：集合论：集合代数/4 - 3 - 35-子集合(13-26).mp4 | 27.04 MB |
| 离散数学AA/离散数学 Discrete Mathematics/第8周：图论：特殊图/8 - 3 - 67-二分图的匹配(13-22).mp4 | 26.96 MB |
| 离散数学AA/离散数学 Discrete Mathematics/第3周：数理逻辑：谓词逻辑及形式系统/3 - 1 - 26-数理逻辑-个体、谓词和量词(14-30).mp4 | 26.75 MB |
| 离散数学AA/离散数学 Discrete Mathematics/第6周：集合论：特殊关系及函数/6 - 1 - 49-等价关系(11-24).mp4 | 26.44 MB |
| 离散数学AA/离散数学 Discrete Mathematics/第12周：形式语言与自动机：图灵机与计算理论/12 - 2 - 99-图灵机例子(9-33).mp4 | 26.1 MB |
| 离散数学AA/离散数学 Discrete Mathematics/第11周：形式语言与自动机：有限状态机/11 - 9 - 97-程序实现状态机(9-13).mp4 | 25.78 MB |
| 离散数学AA/离散数学 Discrete Mathematics/第2周：数理逻辑：命题逻辑及形式系统/2 - 8 - 20-联结词集完备性(10-28).mp4 | 25.48 MB |
| 离散数学AA/离散数学 Discrete Mathematics/第2周：数理逻辑：命题逻辑及形式系统/2 - 4 - 16-证明逻辑等价式和逻辑蕴涵式(13-53).mp4 | 25.06 MB |
| 离散数学AA/离散数学 Discrete Mathematics/第11周：形式语言与自动机：有限状态机/11 - 1 - 89-有限状态机(9-22).mp4 | 24.92 MB |
| 离散数学AA/离散数学 Discrete Mathematics/第6周：集合论：特殊关系及函数/6 - 5 - 53-序关系(12-22).mp4 | 24.89 MB |
| 离散数学AA/离散数学 Discrete Mathematics/第12周：形式语言与自动机：图灵机与计算理论/12 - 8 - 105-哥德尔不完备定理(11-07).mp4 | 24.76 MB |
| 离散数学AA/离散数学 Discrete Mathematics/第11周：形式语言与自动机：有限状态机/11 - 8 - 96-带输出的机器(9-26).mp4 | 24.57 MB |
| 离散数学AA/离散数学 Discrete Mathematics/第2周：数理逻辑：命题逻辑及形式系统/2 - 7 - 19-主范式(14-46).mp4 | 24.36 MB |
| 离散数学AA/离散数学 Discrete Mathematics/第5周：集合论：关系基本概念/5 - 6 - 47-关系基本特性(10-48).mp4 | 24.22 MB |
| 离散数学AA/离散数学 Discrete Mathematics/第4周：集合论：集合代数/4 - 7 - 39-自然数的定义(11-35).mp4 | 22.59 MB |
| 离散数学AA/离散数学 Discrete Mathematics/第2周：数理逻辑：命题逻辑及形式系统/2 - 6 - 18-求范式的一般步骤(10-25).mp4 | 22.57 MB |
| 离散数学AA/离散数学 Discrete Mathematics/第9周：抽象代数/9 - 2 - 72-代数结构(10-05).mp4 | 22.45 MB |
| 离散数学AA/离散数学 Discrete Mathematics/第12周：形式语言与自动机：图灵机与计算理论/12 - 4 - 101-识别与判定(8-32).mp4 | 22.21 MB |
| 离散数学AA/离散数学 Discrete Mathematics/第12周：形式语言与自动机：图灵机与计算理论/12 - 9 - 106-不可判定问题(8-30).mp4 | 22.03 MB |
| 离散数学AA/离散数学 Discrete Mathematics/第10周：形式语言与自动机：基本概念/10 - 4 - 83-语言及语法表示(9-58).mp4 | 21.77 MB |