Logique

Cette page rassemble les contenus de la partie Logique de l’UE d’option Logique et Calculabilité de la première année du master Mathématiques et Applications, que j’ai enseignée pour la dernière fois en 2022—2023.

Le cours est organisé en séquences: la plupart comprennent un support de cours (diaporama), une présentation vidéo de ce support, et une fiche d’exercices à réaliser.

Expressions, induction, évaluation : application au calcul propositionnel: diapo; fiche d’exercices; vidéo
Calcul des prédicats (introduction): diapo; fiche d’exercices; vidéo
Théories: diapo; fiche d’exercices; vidéo
Un peu de théorie des modèles: Ici, pas de cours, mais une activité sur quelques résultats de théorie des modèles.; fiche d’activité
Arithmétique de Peano: diapo; fiche d’exercices; vidéo
Déduction naturelle propositionnelle: diapo; fiche d’exercices; vidéo
Théorie de la démonstration (propriétés de la déduction naturelle): diapo; fiche d’exercices; vidéo
Calcul des prédicats en déduction naturelle: diapo; fiche d’exercices; vidéo
Complétude: diapo; fiche d’exercices; vidéo
Incomplétude: diapo; vidéo
Un peu de théorie des ensembles: Ici, pas de cours, mais une activité (optionnelle) sur la théorie des ensembles.; fiche d’activité

M1 Mathématiques et Applications, 2022—2023 (archive)