0


理论计算机科学的伟大思想

Great Ideas in Theoretical Computer Science
课程网址: http://ocw.mit.edu/courses/electrical-engineering-and-computer-sc...  
主讲教师: Scott Aaronson
开课单位: 麻省理工学院
开课时间: 2008-01-01
课程语种: 英语
中文简介:
本课程对理论计算机科学的一些核心思想进行了具有挑战性的介绍。它试图提出“超越计算机的计算机科学”的观点:即CS是一套用于理解诸如宇宙和思想等复杂系统的数学工具。从古代开始 - 用欧几里德的算法和其他古老的计算思维实例 - 课程将通过命题逻辑,图灵机和可计算性,有限自动机,Gö del定理,有效算法和还原性,NP完全性,P与NP进行快速推进问题,决策树和其他具体计算模型,随机性,密码学和单向函数,学习计算理论,交互式证明和量子计算以及计算的物理极限。课堂参与是必不可少的,因为课程将包括讨论和辩论许多这些想法的含义。
课程简介: This course provides a challenging introduction to some of the central ideas of theoretical computer science. It attempts to present a vision of "computer science beyond computers": that is, CS as a set of mathematical tools for understanding complex systems such as universes and minds. Beginning in antiquity—with Euclid's algorithm and other ancient examples of computational thinking—the course will progress rapidly through propositional logic, Turing machines and computability, finite automata, Gödel's theorems, efficient algorithms and reducibility, NP-completeness, the P versus NP problem, decision trees and other concrete computational models, the power of randomness, cryptography and one-way functions, computational theories of learning, interactive proofs, and quantum computing and the physical limits of computation. Class participation is essential, as the class will include discussion and debate about the implications of many of these ideas.
关 键 词: 挑战性; 中心思想; 计算机
课程来源: 麻省理工学院公开课
最后编审: 2020-11-27:yumf
阅读次数: 95