【极致中配】麻省理工 MIT6.045 自动机、可计算性理论和复杂度｜2015年
MIT经典计算理论课，系统讲解有限自动机、正则与上下文无关语言、图灵机、可计算性及P/NP复杂度理论。
- 难度
- 难度 4/5 — 理论证明密集，需较强离散数学与逻辑基础，属高年级本科水平
- 适合人群
- 有离散数学基础、想深入理解计算本质的计算机专业本科生
- 前置要求
- 离散数学（集合、关系、图与证明技巧）、数理逻辑（命题与谓词逻辑基础）、数学证明能力（归纳法、反证法、对角线论证）、算法基础（了解基本算法与复杂度概念更佳）
- 课程规模
- 23 讲 · 992播放
主题覆盖
有限自动机正则语言泵引理上下文无关文法下推自动机图灵机可判定性不可判定性归约P与NPNP完全性复杂度类
课程大纲（23 讲）
- P1 · feb0352 分钟
- P2 · feb0559 分钟
- P3 · feb1260 分钟
- P4 · feb1957 分钟
- P5 · feb2453 分钟
- P6 · feb2659 分钟
- P7 · mar0357 分钟
- P8 · mar0546 分钟
- P9 · mar1056 分钟
- P10 · mar1257 分钟
- P11 · mar1759 分钟
- P12 · mar1959 分钟
- P13 · mar3158 分钟
- P14 · apr0756 分钟
- P15 · apr0949 分钟
- P16 · apr1456 分钟
- P17 · apr1655 分钟
- P18 · apr2355 分钟
- P19 · apr2853 分钟
- P20 · apr3053 分钟
- P21 · may0555 分钟
- P22 · may0755 分钟
- P23 · may1459 分钟
本课程卡由 AI 生成，可能存在误差，欢迎反馈。