|
|
 |
|
|
课程重点
6.045J 是本系以“计算机科学理”为主修的学程课程之一。这门课拥有完整的线上资源，包含一系列完整的作业与考试。
» Universia大学已将本课程译为西班牙语及葡萄牙语。
6.045J is a course in the department's "Theoretical Computer Science" concentration. This course has virtually all of its materials online, including a full set of homework assignments and exams.
» View this course en Español or em Portugues courtesy of Universia.
课程描述
这门课介绍基本的数学计算模型，以及无限物体的有限表示方法。课程项目包含：有限状态机与正规语言，情境无关语言，Turing机，部分递回函数，Church理论，不可判定性，可简化性与完整性，时间复杂度与NP-完整性，或然率计算，与交互验证系统。(译注：Turing machine 一般译作“图灵机”或“图林机”，本课程依据专有名词保留原则，一律译为Turing机”。
This course introduces basic mathematical models of computation and the finite representation of infinite objects. Topics covered include: finite automata and regular languages, context-free languages, Turing machines, partial recursive functions, Church's Thesis, undecidability, reducibility and completeness, time complexity and NP-completeness, probabilistic computation, and interactive proof systems.
|
|
|
| 师资 |
| |
| 上课时数 |
教师授课：
每周2节
每节1.5小时
复习/实习课程：
每周1节
每节1小时
|
| 程度 |
| 大学部
|
| 回应 |
| 告诉
我们您对本课程或“开放式课程网页”的建议。 |
| 声明 |
麻省理工学院开放式课程认可 开放式课程计划（OOPS）的翻译计划，开放式课程计划（OOPS）乃是运用其独立团队、独立资源、独立流程进行翻译计划之团队。
所有麻省理工学院开放式课程之材料皆以麻省理工学院开放式课程创作共享授权发布，所有之翻译资料皆由开放式课程计划（OOPS）所提供，并由其负翻译品质之责任。
此处麻省理工学院开放式课程之资料乃由 开放式课程计划（OOPS） 译为简体中文。麻省理工学院开放式课程在此声明，不论是否遭遇或发现相关议题，麻省理工学院开放式课程、麻省理工学院教师、麻省理工学院校方并不对翻译正确度及完整性作保证。上述单位并对翻译后之资料不作明示或默许对任一特定目的之适合性之保证、非侵权之保证、或永不出错之保证。麻省理工学院校方、麻省理工学院开放式课程对翻译上之不正确不负任何责任。由翻译所引发任何关于此等资料之不正确或其他瑕疵，皆由开放式课程计划（OOPS）负全责，而非麻省理工学院开放式课程之责。
原文声明 |
|
|
|
|
|
 |
|
