Mathématique pour l'Informatique 3 : L2-S4 (2013-2014)

Le polycopie des notes des premiers cours (relations d'ordres, récurrences, définitions inductives) est disponible sur la page web de Cyril Nicaud (ou directement ici).

TD n° 1 : ordres.
TD n° 2 : récurrences et clôtures.
TD n° 3 et n° 4 : structures inductives.
TD n° 5 : fonctions sur les structures inductives.
Sujet Examen du 11 avril 2013.
Sujet Examen du 10 avril 2012.