- De www.edx.org
LAFF – On Programming for Correctness
Curso
en
Inglês
28 h
Este conteúdo é classificado como 0 de 5
- Individualizado
- Acesso livre
- Certificado pago
- 7 sequências
- Intermediate Level
Detalhes do curso
Programa de Estudos
- 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é-requisito
Nenhum.
Instrutores
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
Editor
University of Texas at Austin
Plataforma
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.
Este conteúdo é classificado como 4.5 de 5
(nenhuma revisão)Este conteúdo é classificado como 4.5 de 5
(nenhuma revisão)Conclua este recurso para fazer uma avaliação