Logique

David Baelde, Gilles Dowek et Émilie Grienenberger

Le module est composé de 12 cours, 12 séances de TD et 2 devoirs à la maison.

Le partiel est remplacé par un contrôle continu. Les modalités de l'examen final seront précisées en fonction de l'évolution de la situation sanitaire.

Cette ébauche d'emploi du temps est susceptible d'évoluer un peu au cours du semestre.


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

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

25 janvier : La logique des prédicats : la vidéo, les transparents et le résumé.

1er février : Notion de théorie, exemples : la vidéo, les transparents et le résumé.

8 février : Modèle, correction, complétude : la vidéo, les transparents et le résumé.

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

22 février : pas de cours (vacances).

1er mars : Calcul des séquents, recherche de preuve, unification : la vidéo les transparents et le résumé.

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

15 mars : pas de cours.

22 mars : Exemples de théorie décidable : la vidéo, les transparents et le résumé.

29 mars : Logique constructive : la vidéo, les transparents et le résumé.

5 avril : pas de cours (férié).

12 avril : Forme clausale, Résolution : la vidéo, les transparents et le résumé.

19 avril : pas de cours (vacances).

26 avril : pas de cours (vacances).

3 mai : La complétude de la Résolution : la vidéo et les transparents.

10 mai : La définissabilité.

17 mai : examen.