|
|
 |
|
|
課程重點
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）負全責，而非麻省理工學院開放式課程之責。
原文聲明 |
|
|
|
|
|
 |
|
