Skip to main content

PekingX: 理论计算机科学基础 | Introduction to Theoretical Computer Science

本课程内容涵盖了形式语言与自动机理论、可计算性理论、计算复杂性理论等最基本的那部分内容。
This course covers the most basic parts of formal language and automata theory, computability theory and computational complexity theory.

理论计算机科学基础 | Introduction to Theoretical Computer Science
4 weeks
3 hours per week
Instructor-paced
Instructor-led on a course schedule
This course is archived

About this course

Skip About this course

点击上方绿色按钮报名。

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

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

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

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

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

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

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


At a glance

  • Language: 中文
  • Video Transcript: 中文
  • Associated skills:Computability Theories, Discrete Mathematics, Complexity Theory, Computer Science, Calculations, Teaching, Curiosity, Theory Of Computation, Automata Theory, Mathematical Logic, Graph Theory, Formal Language, Set Theory

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

Interested in this course for your business or team?

Train your employees in the most in-demand topics, with edX For Business.