Bienvenue en MPSI_ITC
Retour à l'accueil
Accueil
|
Bases de Python
|
Analyse de programme
|
Lecture / écriture
|
Nombres
|
Algorithmique
|
Tmp
Connexion
Cours
Un cours sur la terminaison/correction de boucles
ici
TD
Un TD de preuves de terminaison/correction
là