Paradigms of Computer Programming – Fundamentals - Université catholique de Louvain

edX

Course

Online

Free

Description

  • Type

    Course

  • Methodology

    Online

  • Start date

    Different dates available

This course covers functional, object-oriented, and declarative dataflow programming in a unified framework, with practical code fragments and a simple semantics.With this course you earn while you learn, you gain recognized qualifications, job specific skills and knowledge and this helps you stand out in the job market.

Facilities

Location

Start date

Online

Start date

Different dates availableEnrolment now open

About this course

Basic knowledge of programming in at least one programming language. For the semantics, basic knowledge of mathematical concepts such as sets, lists, and functions.

Questions & Answers

Add your question

Our advisors and other users will be able to reply to you

Who would you like to address this question to?

Fill in your details to get a reply

We will only publish your name and question

Reviews

This centre's achievements

2017

All courses are up to date

The average rating is higher than 3.7

More than 50 reviews in the last 12 months

This centre has featured on Emagister for 8 years

Subjects

  • Programming
  • Computer Programming
  • Computer Science
  • Framewotk
  • Design algorithms

Course programme

Louv1.1x and Louv1.2x 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 covers fundamental concepts. You’ll learn 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 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.

What you'll learn

  • 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

Additional information

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.  He is well-known for the textbook « Concepts, Techniques, and Models of Computer Programming » that explains many difficult programming concepts in a simple and insightful way.   For more than ten years he has been teaching two popular programming courses at UCL based on this approach.  His research is focused on the general theme of increasing the expressive power of programming languages, with a special focus on large-scale distributed computing.  He uses a combination of theory and practical system building to understand how to simplify programming and bring it to a higher level.  

Paradigms of Computer Programming – Fundamentals - Université catholique de Louvain

Free