Jean-Jacques Lévy's Lecture Notes

Tsinghua University

• 2010 Lambda-Calculus
• 2009 J-O-Caml

MPRI

• 2005-2006 Concurrence (c2, c3, c4, exam)
• 2004-2005 Concurrence (c1, c2, c3)
• 2003-2004 Concurrence (c1, c2, c3, c4, c5, exam)

École Polytechnique

• 2005-2006 Lambda Calcul (3ème année M1)
• 2001-2006 Informatique Fondamentale (2ème année)
• 2000-2001 Initiation à la programmation (1ère année)
• 1999-2001 Langages de programmation (majeure M1)
• 1997-1998 Langages et Compilation (majeure M1)
• 1995-1996 Systèmes et Réseaux (majeure M1)
• 1992-2001 Algorithmes et Programmation (tronc commun)
• Des petites classes du tronc commun
  2000-2001 PCs et TDs
  1998-1999 [1 2 3 4 5 6 7 8 9 10] (groupes 1 et 11)
  1996-1997 [1 2 3 4 5 6 7 8 9 10] (groupes 1 et 11)
  1994-1995 [1 2 3 4 5 6 7 8 9 10] en DVI
  1992-1993 [1 2 3 4 5 6 7 8 9 10] en DVI
• Des travaux dirigés du tronc commun
  1998-1999 par Pierre Weis et François Pessaux
  1996-1997 par Pierre Weis et Cédric Fournet

Concours d'entrée à l'École Polytechnique

• 2009 2008 2007 2006 2005 2004 2003 MPI (Informatique 4h)
• 2009 2008 2007 2006 2005 2004 2003 MPSI-PC (Informatique 2h)
• 2009 2008 2007 2006 2005 2004 2003 PSI-PT (Informatique 2h)
  

Quelques liens

• Les cours d'informatique de l'X
• Le polycopié du tronc commun
• Le polycopié version 1.2 et son annexe Caml
• Informations diverses sur le tronc commun
• Ma page à l'INRIA et celle du projet MOSCOVA