Algorithmique & Structures de données 1 Cours & Exercices corrigés
Notons P(k) l'assertion : Pk = ak et ik = k et montrons que ceci définit un invariant de boucle. Comme P0 = 1 et i0 = 0, l'assertion P(0) est vraie.
Notons P(k) l'assertion : Pk = ak et ik = k et montrons que ceci définit un invariant de boucle. Comme P0 = 1 et i0 = 0, l'assertion P(0) est vraie.