Archives d'enseignements



2014 / 2015

Premier semestre

Théorie des modèles, théorie des ensembles, incomplétude (Cours fondamental 1 dans le M2 de Logique Mathématique et Fondements de l'Informatique)

Logique du premier ordre (page didel - connexion ent requise) (TD, M1 de Mathématiques Fondamentales)

LM1 - Raisonnements et langage mathématiques (TD, L1)




2013 / 2014

Premier semestre
Théorie des modèles et théorie des ensembles (Cours fondamental 1 dans le M2 de Logique Mathématique et Fondements de l'Informatique)

Logique du premier ordre (TD, M1 de Mathématiques Fondamentales) - voici la page didel du cours (connexion ent requise)

MM1 - Algèbre et analyse élémentaire I (Cours/TD en L1)




2012 / 2013

Premier semestre
Cours de logique (à l'ENS, en première année)

Second semestre
Pas d'enseignement (délégation CNRS)



2011 / 2012

Premier semestre
Cours de logique (à l'ENS, en première année)

Second semestre
Cours de théorie des modèles (M2 de Logique mathématique et fondements de l'informatique)
Leçons de mathématiques: Corps valués et théorie des modèles (à l'ENS, en deuxième année)



2010 / 2011

Premier semestre
Cours de logique (à l'ENS, en première année)

Second semestre
Cours de théorie des modèles (M2 de Logique mathématique et fondements de l'informatique)



2009 / 2010

Premier semestre
L3 Math Info (TD de logique)
TD de logique à l'ENS (première année)
MP3: Algèbre et analyse pour la physique - L2 (TD)



2008 / 2009

Premier semestre
L3 Math Info (TD de logique)
TD de logique à l'ENS (première année)

Second semestre
MC2: L1 - Chimie (TD)

(Last modification: 13/10/2014)