Delft University of Technology is offering free online course on Paradigms of Computer Programming-Abstraction and Concurrency. Louv1.2x and its predecessor Louv1.1x together give an introduction to all major programming concepts, techniques, and paradigms in a unified framework.
This course covers data abstraction, state, and deterministic dataflow in a unified framework with practical code exercises. The course will start on November 7, 2016.
Course At A Glance
Length: 6 weeks
Effort: 4 hours/week
Subject: Computer Science
Institution: Delft University of Technology
Price: Free. Add a Verified Certificate for $50
Certificate Available: Yes
Session: Starts on Starts on November 7, 2016
The Université catholique de Louvain (UCL), founded in 1425, is one of Europe’s oldest universities. The university has more than 28,000 students from bachelor’s level to doctorate and adult continuing education, in all disciplines. With its main campus located in Louvain-la-Neuve, next to Brussels, the university attracts every year 5,000 international students from more than 120 countries. UCL is ranked first among Belgium’s French-speaking universities (QS World University Ranking).
About This Course
Louv1.2x and its predecessor Louv1.1x 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.
- How to specify problems, break them down into their basic steps, and design algorithms and abstractions to solve them
- How to choose the right programming paradigm and write a program in this paradigm to solve a problem
- How to use formal semantics to reason about program correctness
- How to write small concurrent programs in the deterministic dataflow paradigm
Peter Van Roy
Peter Van Roy is full professor of Computing Science and Engineering at the Université catholique de Louvain (UCL) in Louvain-la-Neuve, Belgium.
The course Louv1.1x, or equivalent.
How To Join This Course
- Go to the course website link
- Create an edX account to SignUp
- Choose “Register Now” to get started.
- EdX offers honor code certificates of achievement, verified certificates of achievement, and XSeries certificates of achievement. Currently, verified certificates are only available in some courses.
- Once you sign up for a course and activate your account, click on the Log In button on the edx.org homepage and type in your email address and edX password. This will take you to your dashboard, with access to each of your active courses. (Before a course begins, it will be listed on your dashboard but will not yet have a “view course” option.)