课程简介
本课程对统一框架下的所有主要编程概念、技巧和范例进行介绍。我们会涵盖三大主要编程范例：函数式、面向对象式和说明性数据流。我们会介绍数据抽象的四种方法，讨论对象和抽象数据类型的权衡。我们会介绍说明性数据流，这是并发编程中的最有用范例，展示它怎样避免竞争条件。我们为所有概念提供一个简单的形式语义，用于对伴随开放源平台上运行的实用代码——莫扎特编程系统进行说明。本课程针对的具备基本编程知识的人群。对初学编程的学生最为有用，但是其非常规的方式对熟练专业人员来说也会颇有见地。
要想了解更多本课程的实用组织，可以观看我们的第二段介绍视频。
所有必备阅读资料尽可在课件中找到，由麻省理工学院出版社提供的本课程的纸质版教材《计算机程序设计——概念、技术和模型》也可以购得。若从其官网直接订购，麻省理工学院出版社可为报名学生提供30%的特别优惠。如要利用此项优惠，请将促销码CTMCP30在麻省理工学院出版社网站使用。
在本课程前后及课程期间可以访问课程的 Facebook 公开宣布内容及讨论页面。
展开
课程章节
授课教师
-
Peter Van Roy 鲁汶大学 计算机科学与工程 教授
Peter Van Roy 是比利时新鲁汶的鲁汶大学(UCL)计算机科学与工程正教授。他以教科书《计算机程序设计——概念、技术和模型》而闻名，其中用深入浅出的方法解释了许多编程的艰深概念。在10多年间，他在鲁汶大学基于这种方法讲授了两门颇受欢迎的编程课程。他的研究关注提升编程语言表现力的一般性内容，特别是大规模分布式计算。他将理论和实用系统构建相结合，来理解如何简化编程，并将之提高到更高的水平。他是莫扎特编程系统的开发人员，这是一个基于Oz 多范型编程语言的高质量开放源开发平台，他常将之作为探索和测试新想法思路的研究工具。
精华笔记
精华笔记正在评选中，去看看全部笔记
常见问题
目前还没有常见问题哟！
