Logique

Gilles Dowek, Nicolas Margulies et Théo Vignon

Le module est composé de 12 cours, 12 séances de TD et d'un devoir à la maison.


Documents : le cours suit grosso modo les parties I et III du livre Les démonstrations et les algorithmes.

Mercredi 24 janvier : Définition inductive, notion de langage : la vidéo, les transparents et le résumé.

Mercredi 31 janvier : Pas de cours.

Mercredi 7 février : La logique des prédicats : la vidéo et les transparents.

Mercredi 14 février : Notion de théorie, exemples : la vidéo et les transparents.

Mercredi 21 février : Vacances.

Mercredi 28 février : Modèle, correction, complétude : la vidéo et les transparents.

Mercredi 6 mars : Indédicabilité, incomplétude : la vidéo et les transparents.

Le devoir à la maison.

Mercredi 13 mars : Calcul des séquents, recherche de preuve, unification : la vidéo et les transparents.

Mercredi 20 mars : Élimination des coupures, équivalence entre la déduction naturelle et le calcul des séquents : la vidéo et les transparents.

Vendredi 22 mars : Date limite de rendu du devoir à la maison.

Mercredi 27 mars : Exemples de théorie décidable : la vidéo et les transparents.

Mercredi 3 avril : Pas de cours

Mercredi 10 avril : Logique constructive : la vidéo et les transparents.

Mercredi 17 avril : Vacances.

Mercredi 24 avril : Forme clausale, Résolution.

Mercredi 1er mai : Vacances.

Mercredi 8 mai : Vacances.

Mercredi 15 mai : La complétude de la Résolution.

Mercredi 22 mai : La définissabilité.

Mercredi 29 mai : Examen.