Enseignement
Logique Formelle et Programmation Logique
ESIEA 3a

Pour toute question, n'hésitez pas à m'envoyer un mail (Lengrand[AT]LIX.Polytechnique.fr)
Tous les cours en un fichier : pdf

Cours numéro 0 : Motivation et introduction
overlays
sans overlay

Cours numéro 0.5 : Rappels sur la notion de récurrence
Cours numéro 1 : Syntaxe et sémantique de la logique propositionnelle
overlays
sans overlay

TD 1 pdf

Cours numéro 2 : Notion de démonstration en logique propositionnelle
overlays
sans overlay

TD 2 pdf

Cours numéro 3 : Logique du 1er ordre
overlays
sans overlay

TD 3 pdf

Cours numéro 4 : Logique du 1er ordre : les bonnes questions à se poser
overlays
sans overlay

TD 4 (Why), courtesy of J-C Filliâtre and F. Pottier, all rights reserved.

Cours numéro 5 : Variables existentielles et unification
overlays
sans overlay

Cours numéro 6 : Forme clausale et ProLog
overlays
sans overlay

TD 6 (ProLog)

Correction : TD6.txt