Activités d'enseignement

Année 2009-2010 premier semestre

Je suis chargé d'assurer les TD du cours LM1 language mathématique d' André Bellaïche, René Cori, et Thierry Joly. Vous pouvez trouvez ici quelques documents associés é ce cours.

La feuille du TD1 sur variables libres et muettes, synonymie, et efficacité.
Le corrigé des exercices 5 et 6 de la feuille du TD1.
La feuille du TD2 Introduction à la logique propositionnelle.
La feuille des TD3 et 4 (rédigée par R. Cori) sur les quantificateurs
Un énoncé de devoir maison donné à l'un des deux groupes.
L'énoncé de l'examen partiel du 21 novembre. et son corrigé
Une feuille d'exercices de révisions et son corrigé

Année 2008-2009 premier semestre

J'ai été chargé d'assurer les TD maple MK1. Je ne saurai que trop recommander aux aux moniteurs en quête d'inspiration les excellents énoncés de Cécile Armana dont je me suis largement inspiré. Voici un lien vers sa page web.