Algorithmique 1

Un exemple de preuve par invariant.
Parcours de graphes (largeur et profondeur) algorithmes et implantation camllight.
L'interrogation écrite du groupe 3 avec le corrigé de la question 2.

Vous pouvez également récupérer les fichiers au format postscript : invariant.ps, parcours.ps, corrige.ps.

Nota Bene Certains symboles mathématiques peuvent ne pas apparaître correctement. Si tel est le cas, rajoutez la ligne

Netscape*documentFonts.charset*adobe-fontspecific:   iso-8859-1

dans votre fichier .Xdefaults