UE MI067 -- Logique

Emploi du temps

• Cours: Pascal MANOURY, mercredi 8h30-10h30,
• TD1: Olivier ROUSSEL, lundi 13h30-15h30/15h45-17h45,
• TD2: Antoine GENITRINI, jeudi 8h30-10h30/10h45-12h45,

Contrôle des connaissances

1. mercredi 9 novembre 2011: le sujet sans et avec corrigé
2. mercredi 11 janvier 2012: le sujet sans et avec corrigé

Plan actualisé

1. Syntaxe du calcul des prédicats du premier ordre
2. Sémantique du calcul des prédicats du premier ordre
3. Relations de satisfaisabilité d'une formule, conséquence sémantique
4. Déduction naturelle
5. Correction de la déduction naturelle
6. Complétude de la déduction naturelle I
7. Complétude de la déduction naturelle II
8. Suite et fin
9. Le système T de Gödel
10. Suite et fin

Notes de cours et autres supports

• Cours 1-7: calcul des prédicats
• Cours 8-10: système T
• Feuilles d'exercice: TD01.pdf |TD02.pdf |TD03.pdf |TD04.pdf |TD05.pdf
• Annales: Examen 1 2010: sans ou avec corrigé | Examen 2 2010: sans ou avec corrigé | Examen 3 2010: sans ou avec corrigé

Bibliographie et autre

• Logique mathématique 1 - Calcul propositionnel; algèbre de Boole; calcul des prédicats.
  R. Cori et D. Lascar. Dunod 2003.
• Introduction à la logique - Théorie de la démonstration.
  R. David, K. Nour et C. Raffalli. Dunod 2004.
  
• Voir également les notes de cours de mon excellent collègue Paul Rozière: sur la complétude (et un peu plus) et sur le système T