Logique

Luc Chabassier, Gilles Dowek et Amélie Ledein

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.

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

Lundi 24 janvier : La logique des prédicats : la vidéo et les transparents.

Lundi 31 janvier : Notion de théorie, exemples : la vidéo et les transparents.

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

Lundi 14 février : Indédicabilité, incomplétude : la vidéo et les transparents.

Lundi 21 février : Calcul des séquents, recherche de preuve, unification : la vidéo, les transparents et le résumé.

Le devoir à la maison.

Lundi 28 février : Vacances.

Lundi 7 mars : Pas de cours.

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

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

Lundi 21 mars : Exemples de théorie décidable : la vidéo les transparents, le résumé et l'exposé sur Presburger.

Lundi 28 mars : Logique constructive : la vidéo et les transparents.

Lundi 4 avril : Forme clausale, Résolution : la vidéo, les transparents, le résumé et l'exposé sur Colmerauer.

Lundi 11 avril : La complétude de la Résolution : la vidéo, transparents et le résumé.

Lundi 16 mai : La définissabilité : la vidéo et la transparents.

Lundi 23 mai : Examen.