Paradigms of Computer Programming - Fundamentals (edX)

Start Date
No sessions available
Paradigms of Computer Programming - Fundamentals (edX)
Course Auditing
Categories
Effort
Certification
Languages
Basic knowledge of programming in at least one programming language.
Misc

MOOC List is learner-supported. When you buy through links on our site, we may earn an affiliate commission.

Paradigms of Computer Programming - Fundamentals (edX)
This course covers functional, object-oriented, and declarative dataflow programming in a unified framework, with practical code fragments and a simple semantics.

MOOC List is learner-supported. When you buy through links on our site, we may earn an affiliate commission.

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



MOOC List is learner-supported. When you buy through links on our site, we may earn an affiliate commission.

Course Auditing
50.00 USD
Basic knowledge of programming in at least one programming language.

MOOC List is learner-supported. When you buy through links on our site, we may earn an affiliate commission.