北大理论计算机科学基础 70讲 刘田主讲

课程名称:  北大理论计算机科学基础 70讲  刘田主讲

免费试看:  

课程目录:   

2-6 泵引理的应用.mp4
7-7 萨维奇定理、PSPACE类.mp4
1-3 确定型有穷自动机的形式化定义.mp4
2-5 泵引理的证明.mp4
3-6 下推自动机的形式定义.mp4
4-3 从CFG构造PDA的例子.mp4
3-3 设计上下文无关文法.mp4
4-6 上下文无关语言的泵引理.mp4
6-6 与图灵机有关的不可计算问题（归约的例子）.mp4
7-11 时间层次定理.mp4
8-7 图灵归约、相对化.mp4
7-5 coNP类、EXP类、 P与NP问题.mp4
6-1 关于正则语言的可计算问题.mp4
5-7 图灵机算法的描述.mp4
3-5 乔姆斯基范式.mp4
0 课程介绍.mp4
8-1 多项式时间归约 .mp4
5-6 算法的定义.mp4
3-1 上下文无关文法的例子.mp4
2-4 非正则语言.mp4
5-5 枚举器与识别器.mp4
7-8 亚线性空间、 L类、NL类.mp4
7-9 NL=coNL.mp4
7-12 交错式复杂性类.mp4
2-3 正则表达式与有穷自动机的等价性（2）.mp4
8-8 电路、P完全问题.mp4
7-4 NP类.mp4
3-4 文法的歧义性.mp4
6-3 不可计算的问题（计数法）.mp4
7-3 P类.mp4
4-4 从PDA构造CFG的算法(上).mp4
7-2 时间复杂性、时间复杂性类.mp4
8-3 NP完全与NP难.mp4
6-5 一个非图灵可识别语言.mp4
2-1 正则表达式及形式化定义.mp4
8-4 几个NP完全问题.mp4
4-1 PDA与CFG等价性.mp4
1-5 正则运算与封闭性.mp4
8-2 库克定理.mp4
5-2 单带图灵机的定义.mp4
3-7 下推自动机例子.mp4
1-1 预备知识.mp4
1-2 确定型有穷自动机例子.mp4
6-10 补充（Rice定理）和总结.mp4
4-5 从PDA构造CFG的算法(下).mp4
6-4 对角化方法.mp4
8-9 并行计算NC类.mp4
5-1 单带图灵机的例子.mp4
1-7 DFA与NFA的等价性.mp4
3-2 上下文无关文法的定义.mp4
7-10 空间层次定理.mp4
8-5 PSPACE完全问题.mp4
6-8 波斯特对应问题（还是归约的例子）.mp4
8-6 对数空间归约、NL完全问题.mp4
6-2 关于上下文无关语言的可计算问题.mp4
6-9 归约的定义、性质和用途.mp4
5-3 图灵机判定语言的例子.mp4
1-6 非确定型有穷自动机.mp4
1-4 设计确定型有穷自动机.mp4
5-4 图灵机的各种等价变形.mp4
2-2 正则表达式与有穷自动机的等价性（1）.mp4
4-2 从CFG构造PDA的算法.mp4
1-8 正则语言的封闭性.mp4
6-7 利用计算历史的归约.mp4
7-1 函数的阶.mp4
7-13 多项式时间层次（PH类）.mp4
5-9 递归定理的应用（通用机）.mp4
5-8 递归定理及其证明（自我复制）.mp4
4-7 应用泵引理的例子.mp4
7-6 空间复杂性、 空间复杂性类.mp4

下载地址: