INF551 : Logique et Calculabilité

Pour toute question, n'hésitez pas à m'envoyer un mail (Stephane.Lengrand[AT]Polytechnique.edu)

Le poly de Gilles Dowek pdf

Cours numéro 1 - Introduction - Syntaxe de la logique des prédicats.
overlays
sans overlay

PC 1 pdf

Cours numéro 2 - Sémantique de la logique des prédicats
overlays
sans overlay

PC 2 pdf

Cours numéro 3 - Théorèmes de correction et complétude
overlays
sans overlay

PC 3 pdf

PC 4 pdf

Cours numéro 5 - Théorèmes de Church et Gödel
overlays
sans overlay

PC 5 pdf

Cours numéro 6 - Le calcul comme une suite de petits pas : L'interpréteur, la réécriture
overlays
sans overlay

PC 6 pdf

Cours numéro 7 - Le calcul comme une suite de petits pas : Les machines de Turing
overlays
sans overlay

PC 7 pdf (légèrement clarifié)

Cours numéro 8 - La démonstration automatique : Calcul des séquents et unification
overlays
sans overlay

PC 8 pdf

Cours numéro 9 - Le lambda-calcul et la constructivité
overlays
sans overlay

PC 9 pdf