点击上方绿色按钮报名。

本课程的 教学内容包括：形式语言与自动机理论、可计算性理论、计算复杂性理论等三个部分。这些内容分别回答下列问题：（1）有哪些计算装置？它们的能力如何？ （2）什么是计算？哪些问题是（不）可计算的？（3）什么是有效计算？哪些问题是（不）可有效计算的？通过这门课程的学习，学生将了解计算理论的基础知 识，掌握有效计算的概念。
本课程的教学方式包括教学录像片段（每段录像8-20分钟，内含1-2个测验问题），教学录像之外的书面作业，以及（必须参加的）期末考试。
本课程课程的总长度为8周，每周教学录像长度大约120分钟。需要的预备知识是离散数学（集合论、数理逻辑、图论等）的基本概念。

本课程需要哪些资源才能进行学习？

答：一台联网的电脑，纸和笔，以及最重要的好奇心。

本课程最有趣的内容是什么？

答：本课程将告诉你计算机不可能做到的一些事情。

本课程需要什么先修课程？

答：离散数学的基础知识，包括集合、关系、函数、逻辑、图等。