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

理论计算机科学基础 | Introduction to Theoretical Computer Science (edX)
Course Auditing
Categories
Effort
Certification
Languages
离散数学的基础知识,包括集合、关系、函数、逻辑、图等。
Misc
理论计算机科学基础 | Introduction to Theoretical Computer Science (edX)
本课程内容涵盖了形式语言与自动机理论、可计算性理论、计算复杂性理论等最基本的那部分内容。 This course covers the most basic parts of formal language and automata theory, computability theory and computational complexity theory.

点击上方绿色按钮报名。

本课程的 教学内容包括:形式语言与自动机理论、可计算性理论、计算复杂性理论等三个部分。这些内容分别回答下列问题:(1)有哪些计算装置?它们的能力如何? (2)什么是计算?哪些问题是(不)可计算的?(3)什么是有效计算?哪些问题是(不)可有效计算的?通过这门课程的学习,学生将了解计算理论的基础知 识,掌握有效计算的概念。

本课程的教学方式包括教学录像片段(每段录像8-20分钟,内含1-2个测验问题),教学录像之外的书面作业,以及(必须参加的)期末考试。

本课程课程的总长度为8周,每周教学录像长度大约120分钟。需要的预备知识是离散数学(集合论、数理逻辑、图论等)的基本概念。

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

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

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

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

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

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


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



Course Auditing
40.00 EUR
离散数学的基础知识,包括集合、关系、函数、逻辑、图等。