理论计算机科学基础

来自于: 北京大学 | 分类: 计算机(670)

课程描述

本课程内容涵盖了形式语言与自动机理论、可计算性理论、计算复杂性理论等最基本的那部分内容。

什么是认证证书?
免费学习
认证学习
名师签名
实名认证
权威性
纸质证书
付费购买
免费赠送

课程简介

点击上方绿色按钮报名。 本课程的 教学内容包括:形式语言与自动机理论、可计算性理论、计算复杂性理论等三个部分。这些内容分别回答下列问题:(1)有哪些计算装置?它们的能力如何? (2)什么是计算?哪些问题是(不)可计算的?(3)什么是有效计算?哪些问题是(不)可有效计算的?通过这门课程的学习,学生将了解计算理论的基础知 识,掌握有效计算的概念。 本课程的教学方式包括教学录像片段(每段录像8-20分钟,内含1-2个测验问题),教学录像之外的书面作业,以及(必须参加的)期末考试。 本课程课程的总长度为8周,每周教学录像长度大约120分钟。需要的预备知识是离散数学(集合论、数理逻辑、图论等)的基本概念。 本课程需要哪些资源才能进行学习? 答:一台联网的电脑,纸和笔,以及最重要的好奇心。 本课程最有趣的内容是什么? 答:本课程将告诉你计算机不可能做到的一些事情。 本课程需要什么先修课程? 答:离散数学的基础知识,包括集合、关系、函数、逻辑、图等。

展开

课程章节

授课教师

  • 刘 田 北京大学

    刘田是北京大学信息学院计算机系副教授,主要研究方向为算法分析与计算复杂性理论。主持过两项国家自然科学基金项目以及多项其他研究课题,发表了多篇论文和译著。长期主讲“集合论与图论”、“理论计算机科学基础”等课程,2006年和2013年先后两次获得了北京大学教学优秀奖。

精华笔记

精华笔记正在评选中,去看看全部笔记

常见问题

目前还没有常见问题哟!