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

  • 0.0
4 Weeks
$ 49

Brief Introduction

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

Description

点击上方绿色按钮报名。

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

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

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

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

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

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

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


Knowledge

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

Keywords

$ 49
中文
Available now
4 Weeks
刘 田
PekingX
edX

Instructor

Share
Saved Course list
Cancel
Get Course Update
Computer Courses