|
|
 |
|
 |
|
Sipser教授的教科书封面图片（图片经Thomson/Course Technology授权使用）
Image of cover of Prof. Sipser's textbook. (Courtesy of Thomson/Course Technology. Used with permission.)
|
|
|
课程重点
This course web site features problem sets, a sample mid-term exam, and information about Professor Sipser's textbook: Introduction to the Theory of Computation.
课程描述
本课程比18.400J「自动机，可计算性和复杂性」涉及面更广、更理论化。主要侧重于可计算性，计算复杂性理论，正则和上下文无关语言，可判定和不可判定问题，规约性，递归函数理论，计算的时间和空间复杂性的度量，完备性，分层理论，固有复杂问题，神喻，概率计算和交互推理系统。
A more extensive and theoretical treatment of the material in 18.400J, Automata, Computability, and Complexity, emphasizing computability and computational complexity theory. 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.
|
|
|
| 师资 |
|
讲师：
Michael Sipser 教授
|
| 上课时数 |
教师授课：
每周2节
每节1.5小时
复习/实习课：
每周1节
每节1小时
|
| 程度 |
|
研究所
|
| 回应 |
| 告诉我们您对本课程或「开放式课程网页」的建议。 |
| 声明 |
麻省理工学院开放式课程认可 开放式课程计划（OOPS）的翻译计划，开放式课程计划（OOPS）乃是运用其独立团队、独立资源、独立流程进行翻译计划之团队。
所有麻省理工学院开放式课程之材料皆以麻省理工学院开放式课程创作共享授权发布，所有之翻译资料皆由开放式课程计划（OOPS）所提供，并由其负翻译品质之责任。
此处麻省理工学院开放式课程之资料乃由 开放式课程计划（OOPS） 译为简体中文。麻省理工学院开放式课程在此声明，不论是否遭遇或发现相关议题，麻省理工学院开放式课程、麻省理工学院教师、麻省理工学院校方并不对翻译正确度及完整性作保证。上述单位并对翻译后之资料不作明示或默许对任一特定目的之适合性之保证、非侵权之保证、或永不出错之保证。麻省理工学院校方、麻省理工学院开放式课程对翻译上之不正确不负任何责任。由翻译所引发任何关于此等资料之不正确或其他瑕疵，皆由开放式课程计划（OOPS）负全责，而非麻省理工学院开放式课程之责。
原文声明 |
|
|
|
|
|
 |
|
