Vous trouverez ici une liste des enseignements que j'ai donnés en 2014/2015, avec le matériel associé. Il s'agit d'une copie brutale: signalez-moi si quelquechose manque ou ne fonctionne pas. Retour vers ma page d'accueil.
Travaux pratiques pour le cours de G. Castagna.
Tout est là: cours avec H. Comon, et travaux dirigés.
Cette année a aussi eu lieu la 1e édition du MOOC d'intro à la logique informatique, sur FUN.
Travaux dirigés: TD1, TD2, TD3, TD4, TD5, TD6, DM (corrigé), TD7...
... pour le cours de Jean Goubault.