Archives enseignements
Enseignements 2010-2011
Introduction à la Logique mathématique
(Master 1)
Travaux dirigés d'algèbre et théorie des nombres
(Licence 3)
Outils de
développement informatique (Master 2 SITN)
Enseignements 2009-2010
Travaux
dirigés-Théorie de Galois (Master 1)
Cours/Td d'introduction à la logique mathématique avec J. Melleray (Master 1)
Algèbre et théorie des
nombres (Licence L3)
Enseignements 2008-2009 :
Outils de
développement informatique (Master 2 SITN)
Travaux dirigés Master 1 Théorie de Galois
Cours de Master recherche 2004-2005
:
Théorie des modèles (présentation)
Chapitre 1, Chapitre 2, Chapitre 3,
Chapitre 4,
Chapitre 5
Devoir 1(corrigé),
Devoir 2
(corrigé),
Devoir 3
(corrigé),
Devoir 4
(corrigé).
Examen
TD Maîtrise Logique et complexité 2003-2004 :
Td 1 , Td 2 , Td 3 , Td 4 , Td 5 , Td 6 , Td 7, Td 8 , Td 9 , Td 10 , Td 11
Devoir 1 , Partiel
Cours de DEA 2003-2004 :Théorie des modèles
Cours
Devoir 1 (Corrigé),
Devoir 2 (Corrigé),
Examen