Stanford CS154 计算理论导论

课程名称： Introduction to the Theory of Computation
课程官网地址： 2022年秋、2010年春
先修课程： CS 103 计算的数学基础
重要程度： ※※※※※
课程评点：

课程说明

什么是计算？原则上可以用无限的计算资源计算什么？什么可以有效计算？通过对计算进行形式化建模我们可以获得什么以及不同模型如何相互关联？模型如何突出不同的计算资源，一些是明显的（例如时间和内存），而另一些则不太明显（例如通信和随机性）。通过将自然和社会现象视为计算并通过计算镜头观察证明、知识、学习、游戏、随机性、熵等中心概念，可以获得什么？