图 书 馆
计算理论Theory Of Computation |
|
| 课程网址: | https://ocw.mit.edu/courses/18-404j-theory-of-computation-fall-20... |
| 主讲教师: | Prof. Michael Sipser |
| 开课单位: | 麻省理工学院 |
| 开课时间: | 2020-01-01 |
| 课程语种: | 英语 |
| 中文简介: |  |
| 课程简介: | This course emphasizes computability and computational complexity theory. Topics include regular and context-free languages, decidable and undecidable problems, reducibility, recursive function theory, time and space measures on computation, completeness, hierarchy theorems, inherently complex problems, oracles, probabilistic computation, and interactive proof systems. |
| 关 键 词: | 可计算性; 复杂性理论; 不可判定问题 |
| 课程来源: | 麻省理工学院公开课 |
| 数据采集: | 2024-01-28：chenjy |
| 最后编审: | 2024-01-28：chenjy |
| 阅读次数: | 12 |