Exercice 118 points
Exercice 1. 1. 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 ...
Exercice 1. 1. 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 ...