Enseignements

Maths discrètes 1 (L1 MI, MF SS, MaGE, BIM)
Maths discrètes 2 (L2 Maths, Info, BIM)
Cours de logique en Master math 1ère année
Cours de logique du Master 2 recherche MDFI
Cours Maths Avancées 2 (analyse en DEUG MASS et MIASS 2ème année, 2003-2004)
Cours du DESS MINT
Énoncé et corrigé de l'examen de janvier 2004.
Notes du cours de logique linéaire à l'école d'hiver d'Aussois en février 2003.
Tutorial LaTeX.