Home
Publications
Github
Teaching (old)
|
Dr Stéphane Graham-Lengrand Professeur Chargé de Cours à l'École Polytechnique
|
|
|
|
| Teaching
2012, 2013, 2014, 2015, 2016, 2017
INF551 - Computational Logic: artificial intelligence in mathematical reasoning
Ecole Polytechnique
2011, 2012, 2013, 2014, 2014 (Autumn), 2015 (Autumn), 2016 (Autumn)
Curry-Howard correspondence for Classical Logic
MPRI
2010, 2011
INF551 : Logique et Calculabilité
Ecole Polytechnique
2008, 2009, 2010
Logique formelle et programmation logique
ESIEA
2007
Logic, Specification & Verification - CS3202
University of St Andrews, School of Computer Science
2005-2006 Automates Finis
Université Paris VII - Denis Diderot, U.F.R. d'Informatique
2004-2005 Informatique Fondamentale - IF121
Université Paris VII - Denis Diderot, U.F.R. d'Informatique
|
|