• COURS : non revu depuis 2004, les planches sont la référence du cours 2006
    le cours 2004
  • PLANCHES
    • Leçon 1 : logique propositionnelle
    • Leçon 2 : résolution propositionnelle
    • Leçon 3 : déduction naturelle propositionnelle
    • Leçon 4 : logique du premier ordre, syntaxe et sens
    • Leçon 5 : lois de la logique du premier ordre
    • Leçon 6 : déduction naturelle au premier ordre
    • Leçon 7 : théorème de Herbrand
    • Leçon 8 : skolémisation
    • Leçon 9 : le calcul par résolution
    • Leçon 10 : complétude du calcul par résolution
  • Examen décembre 2005 (sujet et corrigé pdf, html )
  • Examen décembre 2006( sujet, corrigé)