info

D.M Informatique Exercice 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<=n<j}, soit il n’y appartient pas, ce qui semble logique et to...