Logique Formelle et Prolog

Prolog :

• le diaporama de la présentation 
• le programme "ecole"

Logique Formelle :

Pour l'instant seules les annales et leur corrigés sont accessibles ici en format pdf.

• Année 2009-2010, promotion Stallman :
• décembre 2009 : sujet et corrigé
• Année 2008-2009, promotion Wachowski :
• juin 2009 : sujet 
• septembre 2009 : sujet et corrigé
• Année 2007-2008, promotion Carmack:
• étudiants : sujet et corrigé
• apprentis : sujet et corrigé
• Année 2006-2007, promotion Hubble :
•  étudiants : sujet et corrigé
• apprentis : sujet et corrigé