开启辅助访问 切换到窄版

搜索 【热搜: 高等数学, 考研, 自考, 中医, 小学, 中学, 摄影 等】

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

[复制链接]
210

升级   100%

精品资源 发表于 2017-3-4 18:21:09 | 显示全部楼层 |阅读模式
课程名称:  北大理论计算机科学基础 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

下载地址:
点我购买此课程 【 下载地址被隐藏,需向作者支付 1 个学币后才能显示下载链接-->【前往充值学币】

回复

使用道具 举报

您需要登录后才可以回帖 登录 | 立即注册
如果点微信登录没有反应,请用手机自带的浏览器输入网站再点击微信登录(需要扫码)!

本版积分规则

 
 
QQ客服1
32113425108
QQ客服2
QQ客服3
客服微信hm344947004

关注网站公众号【极学客网】,获取推送资源
快速回复 返回顶部 返回列表