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
-
- Notes de cours :
dvi, ps,
pdf.
- Annales de l'exam :
96-97,
97-98,
98-99,
99-00,
00-01,
01-02,
02-03,
03-04,
04-05,
05-06,