- 来自www.edx.org
LAFF – On Programming for Correctness
- 自定进度
- 免费获取
- 收费证书
- 7 序列
- 等级 中级
课程详情
教学大纲
- 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.
先决条件
讲师
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
编辑
平台
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.