图 书 馆
18.404j计算理论（MIT）18.404J Theory of Computation (MIT) |
|
| 课程网址: | http://ocw.mit.edu/courses/mathematics/18-404j-theory-of-computat... |
| 主讲教师: | Sipser Michael |
| 开课单位: | 麻省理工学院 |
| 开课时间: | 2006-01-01 |
| 课程语种: | 英语 |
| 中文简介: |  |
| 课程简介: | This graduate level course is more extensive and theoretical treatment of the material in Computability, and Complexity (6.045J / 18.400J). Topics include Automata and Language Theory, Computability Theory, and Complexity Theory. |
| 关 键 词: | 可计算性; 计算复杂性理论; 定期和上下文无关语言; 可判定和不可判定问题; 还原; 递归函数理论; 在计算时间和空间的措施; 完整性; 层次结构定理 |
| 课程来源: | 麻省理工学院公开课 |
| 最后编审: | 2015-09-14：sjb |
| 阅读次数: | 330 |