Algorithmique
Exercices corrigés : Prouver un algorithme
Lire un invariant, trouver le tour exact où il se casse, et savoir ce qu'il reste à montrer.
3 exercices, corrigés dans la page, sans compte à créer.
- Ce que la somme contient à chaque tourAccessible
- Le tour exact où l'invariant se casseIntermédiaire
- Les trois obligations, et pas deuxAccessible
Cette notion fait partie du cours d'Algorithmique, dont les autres notions sont dans les exercices corrigés d'Algorithmique. Tous les parcours sont dans la bibliothèque.