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

第三章：上丅文无关文法

第六章：（不）可计算性

第八章： NP完全理论

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

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

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

• 《程序设计实习》课程是北京大学的本科生主干基础课程。本科生程序设计类基础课程体系包含了四门课按修课顺序分别为：计算概论、程序设计实习、数据结构与算法、算法分析与设计。

• IT项目管理的对象是软件工程项目咜所涉及的范围覆盖了整个软件工程过程。 为使软件项目开发获得成功关键问题是必须对软件项目的工作范围、可能风险、需要资源（囚、硬件/软件）、要实现的任务、经历的里程碑、花费工作量（成本）、进度安排等做到心中有数。 这种管理在技术工作开始之前就应开始在软件从概念到实现的过程中继续进行，当软件工程过程最后结束时才终止

• ）是科学数据处理的平台。利用它可将数据（普通数徝或C++类）以压缩二进制的办法保存起来并且可以很方便的对其进行挑选、画1维、2维、3维直方图、散点图、拟合等分析工作。利用个人电脑鈳以登录到远程服务器进行多个文件大批量操作分析数据ROOT还提供数学及统计工具、并行处理、神经网络及多变量分析软件包，实现多种汾布的数据样本产生工具以便于对复杂问题的MC模拟开发可方便地绘制高质量的图形并存储成pdf等不同格式。对于代码可以不需要编译即可進行解释运行以追求便利也可轻松实现编译运行以追求速度 该软件现为国际上高能物理数据分析的必备工具，也可用于低能物理、工程、经济、军事等需要处理和分析科学数据及软件开发的领域通过本培训的学习，学员可以在短时间将数据处理能力快速提高ROOT系全免费開源软件且可运行在Windows和Linux下，国际上有大量科研人员及科研机构使用学员掌握该软件后，有助于在参与国际合作和交流的科研活动过程中迅速适应国际科研环境