#acl +All:read

Page destinée à structurer certains des cours que je suis et à en trouver les ressources aisément.
Le lien vers la page du [[https://wikimpri.dptinfo.ens-cachan.fr|wiki MPRI]] lié à chaque cours est dans le numéro, le lien vers la sous page est dans le nom.

Semestre 1 :
 * [[https://wikimpri.dptinfo.ens-cachan.fr/doku.php?id=cours:c-2-7-2|2.7.2]] [[/2.7.2|Assistants de preuves]]
 * [[https://wikimpri.dptinfo.ens-cachan.fr/doku.php?id=cours:c-2-9-1|2.9.1]] [[/2.9.1|Aspects Algorithmiques de la Théorie des Beaux préordres]]
 * [[https://wikimpri.dptinfo.ens-cachan.fr/doku.php?id=cours:c-2-30|2.30]] [[/2.30|Preuves de protocoles de sécurité]]
 * [[https://wikimpri.dptinfo.ens-cachan.fr/doku.php?id=cours:c-2-1|2.1]] [[/2.1|Logique linéaire et paradigmes logiques du calcul]]
 * [[https://wikimpri.dptinfo.ens-cachan.fr/doku.php?id=cours:c-2-4-2|2.4]] [[/2.4|Programmation fonctionnelle et systèmes de types]]
 * [[https://wikimpri.dptinfo.ens-cachan.fr/doku.php?id=cours:c-2-2|2.2]] [[/2.2|Modèles des langages de programmation]]