UE MI067 -- Logique

Emploi du temps

• Cours: Pascal MANOURY, mercredi 8h30-10h30, salle 201, couloir 23-24

Contrôle des connaissances

1. mercredi 7 novembre 2012:
2. mercredi 9 janvier 2013:

Plan prévisionnel

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. Calculabilté, fonctions récursives générales
10. Machines à registres illimités
11. Equivalence et indécidabilité du problème de l'arrêt

Notes de cours et autres supports

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

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