Le module est composé de 12 cours, 12 séances de TD et d'un devoir à la maison.
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.
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 : la vidéo et les transparents.
Mercredi 1er mai : Vacances.
Mercredi 8 mai : Vacances.
Mercredi 15 mai : La complétude de la Résolution : la vidéo et les transparents.
Mercredi 22 mai : La définissabilité.
Mercredi 29 mai : Examen.