Enseignements

2018-2022
Langage mathématiques (Portail Descartes)
Année de Mise à Niveau Scientifique (AMNS)
2012-2018
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)
2008-2012
TP d'algorithmique (L2 maths)
Maths discrètes 1 (L1 MI, MF SS, MaGE, BIM)
Maths discrètes 2 (L2 Maths, Info, BIM)
2003-2008
Cours Maths Avancées 2 (analyse en DEUG MASS et MIASS 2ème année, 2003-2004)
Cours de logique en Master math 1ère année
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.
Cours de logique du Master 2 recherche MDFI