Laure DANTHONY/GONNORD 's Old Home Page // MIM

MIM

Ici vous trouverez les cours/td/tp que j'ai suivis lors de mon magistère à l'ENS Lyon (2000/2002 : licence et maitrise)

Cette archive est une repompe rapide de mon ancien site, merci de me signaler les liens manquants ou erronés.

 MIM 1.1 : Algorithmique, Programmation, Logique, Unix, Décidabilité, The colloquium .
 MIM 1.2 : Réécriture, Systèmes, Modeles de calcul, Graphes, POOGL, Probas, Projet.
 MIM 2.1 : Algo et Archi //, Langages Formels, Compilation, Calcul Formel, Projet.
 MIM 2.2 : Munich.

Les promos : promo 2000 and promo 2001