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

第三章：上丅文无关文法

第六章：（不）可计算性

第八章： NP完全理论

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

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

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

• 《Java程序设计》课程是使用Java语言进行应用程序设计的课程，针对各专业的大学本科生开设課程的主要目标有三： 一、掌握Java语言的语法，能够较为深入理解Java语言机制掌握Java语言面向对象的特点。 二、掌握JavaSE中基本的API掌握在集合、線程、输入输出、图形用户界面、网络等方面的应用。三、能够编写有一定规模的应用程序养成良好的编程习惯，会使用重构、设计模式、单元测试、日志、质量管理工具提高代码的质量 对于学过“计算机基础、计算概论或C语言的学生”尤为适用。

• 本次软件工程MOOC课程是┅门导论性课程在11章、21次课的时间里，我们将全面介绍软件工程所涉及的各方面知识包括软件过程、软件需求、结构化分析和设计方法、面向对象分析和设计方法、敏捷开发方法、软件测试、软件项目管理、软件开发工具和环境。通过课程讲授让大家初步了解软件开發和维护的方法学，为进一步深入学习各专题打下基础

• 互联网并非人类历史上第一次“信息技术”革命。人类历史上一共出现过5种媒介技术：口头语言、手工抄写/羊皮书、印刷技术、广播电视和互联网 媒介技术提供的记录和传承功能，对人类的群体社会认知带来了革命性的影响。西方历史上曾经发生的两次文明的大发展都正好处于媒介技术变革前后。希腊文明处于希腊从口传到手工抄写的媒介技术變革中；近代科学史上的哥白尼革命又正好处于欧洲从手工抄写到机器印刷的技术转型中；今天，轮到了信息技术…… 吟唱、诗歌、戏曲、绘画、文字书写等都曾经是一种表达“技术”；《荷马史诗》、《圣经》都曾经充当过识字课本；口头语言、羊皮纸卷、印刷书、廣播电视，都是曾经的“教育技术” 这门课程从重新定义教育和人这两个核心概念开始，带着你从媒介史、知识产业分工配套体系、教學模式和教育组织方式等不同的视角游历人类一路走来传播生态环境、知识产业、教育教学的发展过程，从中寻找媒介技术影响教育变革的规律指导学习者迎接未来教育变革的挑战，寻找创新和发展方向！