- Sur www.edx.org
LAFF – On Programming for Correctness
- À son rythme
- Accès libre
- Certificat payant
- 7 séquences
- Niveau Intermédiaire
Détails du cours
Déroulé
- Develop assertions describing states in a program.
- Prove programs correct using logic.
- Build algorithms using goal-oriented programming techniques.
- “Slice and dice” to discover families of loop-based algorithms for matrix computations.
Prérequis
Intervenants
Maggie Myers
Lecturer, Department of Statistics and Data Sciences
The University of Texas at Austin
Robert van de Geijn
Professor of Computer Science
The University of Texas at Austin
Devangi Parikh
Research Fellow
The University of Texas at Austin
Éditeur
Plateforme
EdX est une plateforme d'apprentissage en ligne (dite FLOT ou MOOC). Elle héberge et met gratuitement à disposition des cours en ligne de niveau universitaire à travers le monde entier. Elle mène également des recherches sur l'apprentissage en ligne et la façon dont les utilisateurs utilisent celle-ci. Elle est à but non lucratif et la plateforme utilise un logiciel open source.
EdX a été fondée par le Massachusetts Institute of Technology et par l'université Harvard en mai 2012. En 2014, environ 50 écoles, associations et organisations internationales offrent ou projettent d'offrir des cours sur EdX. En juillet 2014, elle avait plus de 2,5 millions d'utilisateurs suivant plus de 200 cours en ligne.
Les deux universités américaines qui financent la plateforme ont investi 60 millions USD dans son développement. La plateforme France Université Numérique utilise la technologie openedX, supportée par Google.