TD3 - LRI
Pour montrer qu'un algorithme est correct, on écrit une propriété P qui est
conservée à chaque étape de boucle que l'on appelle invariant de boucle.
Exercice 1.
Pour montrer qu'un algorithme est correct, on écrit une propriété P qui est
conservée à chaque étape de boucle que l'on appelle invariant de boucle.
Exercice 1.