• Duración:
    6 semanas
  • Dedicación:
    4–6 horas por semana
  • Precio:

    GRATIS
    Agregar un Certificado Verificado por $50 USD

  • Institución
    LouvainX
  • Tema:
    Informática
  • Nivel:
    Advanced
  • Idioma:
    English
  • Transcripción de video:
    English
  • Tipo de curso:
    Al ritmo del instructor

Prerrequisitos

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

Sobre este curso

Omitir Sobre este curso

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.

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

Lo que aprenderás

Omitir Lo que aprenderás
  • 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

 

Conoce a tus instructores

Université catholique de Louvain
Peter Van Roy
Professor of Computing Science and Engineering
Université catholique de Louvain

Obtén un Certificado Verificado para destacar los conocimientos y las habilidades que adquieras
$50 USD

Ver un modelo de certificado de edX en PDF

  • Oficial y verificado

    Obtén un certificado con la firma del instructor y el logotipo de la institución para demostrar tus logros y aumentar las posibilidades de conseguir trabajo

  • Fácil de compartir

    Agrega el certificado a tu currículum o publícalo directamente en LinkedIn

  • Incentivo comprobado

    El certificado te da un motivo más para completar el curso

  • Apoya nuestra labor

    edX, una organización sin fines de lucro, se sustenta con los certificados verificados para financiar la educación gratuita para todo el mundo

Testimonios de los estudiantes

This is an excellent and unique introduction to programming. Peter Van Roy avoids focusing on the syntax of a particular language or a particular programming style. Instead he provides the concepts needed to deeply understand what is going on and the techniques to correctly program. One way he does this is by pointing out that different programming paradigms will be appropriate for different problems. (a learner on CourseTalk)