UE MI067 -- Logique

Emploi du temps

• Cours: Pascal Manoury, mercredi 8h30-10h30, amphi 45A
• TD1: Antoine Genitrini, lundi 13h30-15h30/15h45-17h45, salle 320 bât 41
  (plage 15h45-17h45 salle 203-205 bât 41 jusqu'au 11 oct
  exception le 27 septembre: salle 332, couloir 26-00)
• TD2: Olivier Roussel, jeudi 8h30-10h30/10h45-12h45 salle 320 bât 41

Contrôle des connaissances

• mercredi 10 novembre
• mercredi 15 décembre

Nota: le contenu de cours sera cette année en partie diff´rent de celui des années pr´cédentes (théorème de complétude). Les annales concernant cette partie sont donc inexistantes.
Anciennes ressources de l'UE sur la page d' Irène Guessarian

Plan actualisévitionnel

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-8: calcul des prédicats
• Cours 9-10: système T
• (ajourné) Cours 8-10: calculabilité
• Feuilles d'exercice: TD01.pdf |TD02.pdf |TD03.pdf |TD04.pdf |TD05.pdf |TD06.pdf |TD07.pdf |TD08.pdf |TD09.pdf
• Examen 1: sans ou avec corrigé
• Examen 2: ici

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