课程详情
北大理论计算机科学基础 70讲
----
# 文件大小 修改日期 文件(目录)
0 28.49MB 2019-04-13 20:31:28 0 课程介绍.mp4
1 39.38MB 2019-04-13 20:31:28 1-1 预备知识.mp4
2 60.96MB 2019-04-13 20:31:28 1-2 确定型有穷自动机例子.mp4
3 93.10MB 2019-04-13 20:31:28 1-3 确定型有穷自动机的形式化定义.mp4
4 31.00MB 2019-04-13 20:31:28 1-4 设计确定型有穷自动机.mp4
5 148.57MB 2019-04-13 20:31:28 1-5 正则运算与封闭性.mp4
6 205.35MB 2019-04-13 20:31:28 1-6 非确定型有穷自动机.mp4
7 92.01MB 2019-04-13 20:31:28 1-7 DFA与NFA的等价性.mp4
8 57.57MB 2019-04-13 20:31:28 1-8 正则语言的封闭性.mp4
9 72.49MB 2019-04-13 20:31:28 2-1 正则表达式及形式化定义.mp4
10 119.66MB 2019-04-13 20:31:28 2-2 正则表达式与有穷自动机的等价性（1）.mp4
11 138.86MB 2019-04-13 20:31:28 2-3 正则表达式与有穷自动机的等价性（2）.mp4
12 34.53MB 2019-04-13 20:31:28 2-4 非正则语言.mp4
13 69.84MB 2019-04-13 20:31:28 2-5 泵引理的证明.mp4
14 97.69MB 2019-04-13 20:31:28 2-6 泵引理的应用.mp4
15 48.45MB 2019-04-13 20:31:28 3-1 上下文无关文法的例子.mp4
16 52.21MB 2019-04-13 20:31:28 3-2 上下文无关文法的定义.mp4
17 49.38MB 2019-04-13 20:31:28 3-3 设计上下文无关文法.mp4
18 31.41MB 2019-04-13 20:31:28 3-4 文法的歧义性.mp4
19 83.16MB 2019-04-13 20:31:28 3-5 乔姆斯基范式.mp4
20 48.48MB 2019-04-13 20:31:28 3-6 下推自动机的形式定义.mp4
21 77.58MB 2019-04-13 20:31:28 3-7 下推自动机例子.mp4
22 10.24MB 2019-04-13 20:31:28 4-1 PDA与CFG等价性.mp4
23 102.15MB 2019-04-13 20:31:28 4-2 从CFG构造PDA的算法.mp4
24 18.68MB 2019-04-13 20:31:28 4-3 从CFG构造PDA的例子.mp4
25 109.29MB 2019-04-13 20:31:28 4-4 从PDA构造CFG的算法(上).mp4
26 110.75MB 2019-04-13 20:31:28 4-5 从PDA构造CFG的算法(下).mp4
27 91.31MB 2019-04-13 20:31:28 4-6 上下文无关语言的泵引理.mp4
28 91.29MB 2019-04-13 20:31:28 4-7 应用泵引理的例子.mp4
29 67.99MB 2019-04-13 20:31:28 5-1 单带图灵机的例子.mp4
30 66.75MB 2019-04-13 20:31:28 5-2 单带图灵机的定义.mp4
31 106.77MB 2019-04-13 20:31:28 5-3 图灵机判定语言的例子.mp4
32 111.64MB 2019-04-13 20:31:28 5-4 图灵机的各种等价变形.mp4
33 53.80MB 2019-04-13 20:31:28 5-5 枚举器与识别器.mp4
34 41.13MB 2019-04-13 20:31:28 5-6 算法的定义.mp4
35 76.22MB 2019-04-13 20:31:28 5-7 图灵机算法的描述.mp4
36 98.24MB 2019-04-13 20:31:28 5-8 递归定理及其证明（自我复制）.mp4
37 107.97MB 2019-04-13 20:31:28 5-9 递归定理的应用（通用机）.mp4
38 94.97MB 2019-04-13 20:31:28 6-1 关于正则语言的可计算问题.mp4
39 13.23MB 2019-04-13 20:31:28 6-10 补充（Rice定理）和总结.mp4
40 44.22MB 2019-04-13 20:31:28 6-2 关于上下文无关语言的可计算问题.mp4
41 19.39MB 2019-04-13 20:31:28 6-3 不可计算的问题（计数法）.mp4
42 55.51MB 2019-04-13 20:31:28 6-4 对角化方法.mp4
43 38.78MB 2019-04-13 20:31:28 6-5 一个非图灵可识别语言.mp4
44 116.41MB 2019-04-13 20:31:28 6-6 与图灵机有关的不可计算问题（归约的例子）.mp4
45 112.04MB 2019-04-13 20:31:28 6-7 利用计算历史的归约.mp4
46 85.69MB 2019-04-13 20:31:28 6-8 波斯特对应问题（还是归约的例子）.mp4
47 38.37MB 2019-04-13 20:31:28 6-9 归约的定义、性质和用途.mp4
48 39.55MB 2019-04-13 20:31:28 7-1 函数的阶.mp4
49 100.71MB 2019-04-13 20:31:28 7-10 空间层次定理.mp4
50 41.59MB 2019-04-13 20:31:28 7-11 时间层次定理.mp4
51 67.44MB 2019-04-13 20:31:28 7-12 交错式复杂性类.mp4
52 45.09MB 2019-04-13 20:31:28 7-13 多项式时间层次（PH类）.mp4
53 89.18MB 2019-04-13 20:31:28 7-2 时间复杂性、时间复杂性类.mp4
54 43.90MB 2019-04-13 20:31:28 7-3 P类.mp4
55 125.98MB 2019-04-13 20:31:28 7-4 NP类.mp4
56 26.79MB 2019-04-13 20:31:28 7-5 coNP类、EXP类、 P与NP问题.mp4
57 42.47MB 2019-04-13 20:31:28 7-6 空间复杂性、 空间复杂性类.mp4
58 78.79MB 2019-04-13 20:31:28 7-7 萨维奇定理、PSPACE类.mp4
59 64.18MB 2019-04-13 20:31:28 7-8 亚线性空间、 L类、NL类.mp4
60 112.58MB 2019-04-13 20:31:28 7-9 NL=coNL.mp4
61 121.92MB 2019-04-13 20:31:28 8-1 多项式时间归约 .mp4
62 89.64MB 2019-04-13 20:31:28 8-2 库克定理.mp4
63 26.03MB 2019-04-13 20:31:28 8-3 NP完全与NP难.mp4
64 172.34MB 2019-04-13 20:31:28 8-4 几个NP完全问题.mp4
65 125.55MB 2019-04-13 20:31:28 8-5 PSPACE完全问题.mp4
66 32.70MB 2019-04-13 20:31:28 8-6 对数空间归约、NL完全问题.mp4
67 120.04MB 2019-04-13 20:31:28 8-7 图灵归约、相对化.mp4
68 98.69MB 2019-04-13 20:31:28 8-8 电路、P完全问题.mp4
69 73.45MB 2019-04-13 20:31:28 8-9 并行计算NC类.mp4
总: 5.18GB 文件总数: 70, 目录总数: 0
北大理论计算机科学基础 70讲
----
下载链接
人生最值得花的钱就是投资自己， 学习知识技能， 会为你带来极大的回报率。 少抽一包烟少买一个化妆品， 学得知识技能， 数年后你会感谢自己的选择。
隐藏内容， 您需要支付12元。 点此支付
