Ir al contenido principal

理论计算机科学基础 | 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
Este curso está archivado
4 semanas estimadas
3 horas por semana
Al ritmo del instructor
Con un cronograma específico
Costo de inscripción
49 US$

Sobre este curso

Omitir Sobre este curso

点击上方绿色按钮报名。

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

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

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

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

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

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

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


De un vistazo

  • Idioma: 中文
  • Transcripción de video: 中文

Lo que aprenderás

Omitir Lo que aprenderás

点击上方绿色按钮报名。

  • 语言与自动机理论、可计算性理论、计算复杂性理论等最基本的那部分内容
  • 什么是有效计算, 什么是计算
  • 学生将了解计算理论的基础知识,掌握有效计算的概念

  • Background and history of automata, computability and computational complexity theories
  • What issues are not calculated and why
  • What are considered efficient and inefficient calculations

Acerca de los instructores

¿Te interesa este curso para tu negocio o equipo?

Capacita a tus empleados en los temas más solicitados con edX para Negocios.