Corrigé Informatique Sections : Mathématiques, Sciences ...
Correction du devoir 1 d'informatique. Exercice 1. 1. Notons P(k) l'assertion : Pk = ak et ik = k et montrons que ceci définit un invariant de boucle. Comme ...
Correction du devoir 1 d'informatique. Exercice 1. 1. Notons P(k) l'assertion : Pk = ak et ik = k et montrons que ceci définit un invariant de boucle. Comme ...