YoVDO

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

Offered By: Peking University via edX

Tags

Algorithms and Data Structures Courses Discrete Mathematics Courses Automata Theory Courses Theoretical Computer Science Courses Formal Languages Courses Computational Complexity Theory Courses

Course Description

Overview

点击上方绿色按钮报名。

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

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

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

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

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

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

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


Taught by

Liu Tian

Tags

Related Courses

System Validation: Automata and behavioural equivalences
EIT Digital via Coursera
Automata Theory
Stanford University via edX
离散数学概论 Discrete Mathematics Generality
Peking University via Coursera
Mecânica para a criação de autômatos de madeira
Domestika
What is “the mind” and what is artificial intelligence?
University of Colorado Boulder via Coursera