J'ai encore fait des photos de mon tableau de TD cet après-midi, et comme on a fait la correction du partiel de l'an passé, je les poste ici vu que le partiel de cette année est samedi prochain...

Premier tableau: l'exo sur le code mystère. Deuxieme, une correction pas si mal de l'exo sur la reconnaissance des algos de tris d'après un instantané du tableau au cours de leur fonctionnement. Cet exo est bien car il faut avoir compris pourquoi/comment chaque algo de tri marche pour répondre. Et le troisième tableau, c'est sur les preuves. Ce n'est pas fini, j'ai été sauvé par le gong : la post-condition à souhaitée est mal écrite, ca n'aide vraiment pas. Disons que c'est le début, et que, non, ca ne suffit pas à obtenir tous les points à l'exo.

Bon, quand même, c'est une drôle d'idée d'imortaliser ainsi mes fautes d'orthographes déjà commises en public. Honte, honte.