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

开始时间: 04/22/2022 持续时间: 9 weeks

所在平台: EdxArchive 课程类别: 其他类别 大学或机构: pekingx 授课老师： 王世洲 教授

课程主页: https://www.edx.org/archive/li-lun-ji-suan-ji-ke-xue-ji-chu-pekingx-04830260x

课程评论：没有评论

第一个写评论        关注课程

课程详情

*Note - This is an Archived course*

点击上方绿色按钮报名。

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

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

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

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

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

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

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

---

This is a past/archived course. At this time, you can only explore this course in a self-paced fashion. Certain features of this course may not be active, but many people enjoy watching the videos and working with the materials. Make sure to check for reruns of this course.

课程大纲

点击上方绿色按钮报名。

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

课程评论(0条)