理论计算机科学基础_8_刘田 大学课程公开课慕课教程

理论计算机科学基础_8_刘田 资源下载
理论计算机科学基础_8_刘田 大学课程
理论计算机科学基础_8_刘田 公开课
理论计算机科学基础_8_刘田 慕课
理论计算机科学基础_8_刘田 理工科
理论计算机科学基础_8_刘田 课程资源
理论计算机科学基础_8_刘田 理论计算机科学基础_8_刘田
预览：

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