Please log in to access this page.

Paradigms of Computer Programming – Abstraction and Concurrency

开始时间: 04/22/2022 持续时间: 8 weeks

所在平台: EdxArchive

课程类别: 其他类别

大学或机构: louvainx

授课老师: Peter Van Roy

课程主页: https://www.edx.org/archive/paradigms-computer-programming-louvainx-louv1-2x

课程评论:没有评论

第一个写评论        关注课程

课程详情

*Note - This is an Archived course*

This is a past/archived course. At this time, you can only explore this course in a self-paced fashion. Certain features of this course may not be active, but many people enjoy watching the videos and working with the materials. Make sure to check for reruns of this course.


Louv1.2x (starting Nov. 17, 2014) and its predecessor Louv1.1x (Sep. 17 - Nov. 10, 2014) together give an introduction to all major programming concepts, techniques, and paradigms in a unified framework. We cover the three main programming paradigms: functional, object-oriented, and declarative dataflow.

The two courses are targeted toward people with a basic knowledge of programming. It will be most useful to beginning programming students, but the unconventional approach should be insightful even to seasoned professionals.

Louv1.1x (Fundamentals) covers functional programming, its techniques and its data structures. You’ll use simple formal semantics for all concepts, and see those concepts illustrated with practical code that runs on the accompanying open-source platform, the Mozart Programming System.

Louv1.2x (Abstraction and Concurrency) covers data abstraction, state, and concurrency. You’ll learn the four ways to do data abstraction and discuss the trade-offs between objects and abstract data types. You’ll be exposed to deterministic dataflow, the most useful paradigm for concurrent programming, and learn how it avoids race conditions.

To learn more about the practical organization of the two courses, watch the introductory video

At the end of Louv1.1x and Louv1.2x, the successful participant will be able to :

  • Specify problems, break them down into their basic steps, and design algorithms and abstractions to solve them
  • Choose the right programming paradigm and write a program in this paradigm to solve a problem
  • Use formal semantics to reason about program correctness
  • Write small concurrent programs in the deterministic dataflow paradigm

课程评论(0条)

课程标签

0人关注该课程

主题相关的课程