• Length:
    4 Weeks
  • Price:

    FREE
    Add a Verified Certificate for $49 USD

  • Institution
    PekingX
  • Subject:
    Computer Science
  • Level:
    Advanced
  • Language:
    中文
  • Video Transcript:
    中文
  • Course Type:
    Instructor-led on a course schedule

About this course

Skip About this course

点击上方绿色按钮报名。

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

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

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

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

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

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

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

What you'll learn

Skip What you'll learn

点击上方绿色按钮报名。

  • 语言与自动机理论、可计算性理论、计算复杂性理论等最基本的那部分内容
  • 什么是有效计算, 什么是计算
  • 学生将了解计算理论的基础知识，掌握有效计算的概念
  • Background and history of automata, computability and computational complexity theories
  • What issues are not calculated and why
  • What are considered efficient and inefficient calculations

Meet your instructors

Peking University
刘 田

Pursue a Verified Certificate to highlight the knowledge and skills you gain
$49 USD

View a PDF of a sample edX certificate

  • Official and Verified

    Receive an instructor-signed certificate with the institution's logo to verify your achievement and increase your job prospects

  • Easily Shareable

    Add the certificate to your CV or resume, or post it directly on LinkedIn

  • Proven Motivator

    Give yourself an additional incentive to complete the course

  • Support our Mission

    EdX, a non-profit, relies on verified certificates to help fund free education for everyone globally