Enseignements

Analyse 1 (L1 maths)
Introduction à l'analyse (L1 maths)
Algèbre linéaire 1 (L1 maths)
Géométrie et arithmétique (L1 maths, AKA Géométrie et polynômes)
TP d'algorithmique (L2 maths)
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.