Enseignement 2008-2011

à l'Université Pierre et Marie Curie

Programmation Concurrente (PrC - LI330) - 1^er semestre 2011-2012.
Programmation Récursive (PRec - LI101) - 1^er semestre 2011-2012.
Introduction à la modélisation des systèmes logiciels avec UML (UML - LI342) - 1^er semestre 2011-2012.
Modélisation des Systèmes Répartis (MSR - NI405) - 1^er semestre 2011-2012.
Modélisation et Représentation des Connaissances (MoReC - MI045) - 2^ème semestre 2010-2011.
Structures discrètes (LI214) - 2^ème semestre 2010-2011 (groupe 2).
Modélisation et Représentation des Connaissances (MoReC - MI045) - 2^ème semestre 2009-2010
- 03 et 11/05/2010 - TD 1: Énoncé et corrigé.
- 03 et 11/05/2010 - TME 1: Chauffe-eau, Accessibilité, Machine à café.
- 06/05/2010 - Cours: Automates Temporisés (composition et abstraction des régions). Version présentation Version imprimable
- 10 et 18/05/2010 - TD 2: Énoncé et corrigé.
- 10 et 18/05/2010 - TME 2: Feux tricolores, Pompe de mine.
- 27/05/2010 - Examen: Énoncé et corrigé (partie 2 uniquement).
Initiation à la Compilation et aux Machines Virtuelles (ICMV - LI223) - 2^ème semestre 2009-2010.
Structures discrètes (LI214) - 2^ème semestre 2009-2010.
Modélisation et Représentation des Connaissances (MoReC - MI045) - 2^ème semestre 2008-2009
- 24/03/2009 - TD 1: Énoncé et corrigé.
- 24/03/2009 - TME 1: Feu tricolore, Exercice 4.
- 31/03/2009 - TD 2: Énoncé et corrigé.
- 31/03/2009 - TME 2: Feux tricolores, Pompe de mine.
- 04/06/2009 - Examen: Énoncé et corrigé (partie 2 uniquement).