info
Publié le 23/05/2020
Extrait du document
«
D.M Informatique
Exercice 1 :
1) Cette propriété est un invariant de boucle car P(m) est toujours vraie.
En effet, dans le
programme on peut voir « i=0 » et « j=len(l) » donc dans nous avons bien deux fois la même
condition, soit nous avons x qui appartient à {l[n],i.
»
↓↓↓ APERÇU DU DOCUMENT ↓↓↓