计算机编程范例——抽象和并发性

来自于: 鲁汶大学 | 分类: 计算机(670)

课程描述

这门课程包含了在标准框架中数据抽象,状态,确定性数据流的编程练习。

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

课程简介

Louv1.1x和Louv1.2x介绍了所有统一框架下的主要编程概念、编程技术和编程范例。我们主要谈论三种主要的编程范例:函数式编程、物件导向编程及陈述式数据流编程。 这两个课程均针对有编程基础知识的人群。对于刚学编程的学生来说,这两个课程将会非常有用,但是其中涉及的非常规方法对于经验丰富的编程专家也会有启发作用。 Louv1.1x主要是函数式概念。你将会学到函数式编程,学到该编程技术和其数据结构。你将会运用简单正式的语义来编写所有概念,并且可以观察阐释这些概念的实用代码,而这些实用代码是运行于随行的开源平台上的。(the Mozart Programming System) Louv1.2x包括数据抽象、数据状态和数据并发。你将会学习用4种方法进行数据抽象化,并且讨论对象数据和抽象数据的权衡问题。你还会接触到确定性数据流,这是并发编程中最有用的编程范例,并且学习它如何规避竞争危害。 想要了解更多关于这两个课程的实际内容,请观看介绍视频。

展开

课程章节

授课教师

  • Peter Van Roy 鲁汶大学 计算机科学与工程 教授

    Peter Van Roy 是比利时新鲁汶的鲁汶大学(UCL)计算机科学与工程正教授。他以教科书《计算机程序设计——概念、技术和模型》而闻名,其中用深入浅出的方法解释了许多编程的艰深概念。在10多年间,他在鲁汶大学基于这种方法讲授了两门颇受欢迎的编程课程。他的研究关注提升编程语言表现力的一般性内容,特别是大规模分布式计算。他将理论和实用系统构建相结合,来理解如何简化编程,并将之提高到更高的水平。他是莫扎特编程系统的开发人员,这是一个基于Oz 多范型编程语言的高质量开放源开发平台,他常将之作为探索和测试新想法思路的研究工具。

精华笔记

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

常见问题

目前还没有常见问题哟!