• Length:
    4 Weeks
  • Price:

    FREE
    Add a Verified Certificate for $49 USD

  • Institution
  • Subject:
  • Level:
    Advanced
  • Language:
    中文
  • Video Transcript:
    中文

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

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

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