Algorithmique : exercices et éléments de cours - Irif

Exercice 1. Montrer rigoureusement la correction de l'algorithme de tri par insertion vu à la fin du dernier cours : on prouvera un invariant pour chaque boucle.


Un extrait du document

Top Livres   ||   De A a Z   || De Z a A