M2 LMFI: Cours fondamental de logique 2021-2022 Cours de théorie de la démonstration Partie sur la déduction naturelle et le lambda-calcul Notes de cours Chapitre 1: Introduction à la déduction naturelle (version préliminaire, en français) Chapitre 2: Coupures et propriété de la sous-formule en déduction naturelle (version préliminaire et incomplète) Chapitre 3: Premières notions de lambda-calcul (version préliminaire, en français) Chapitre 4: constructions de points-fixes en lambda-calcul (voir le sujet de DM) Chapitre 5: Confluence du lambda-calcul (version préliminaire, en français, du 17/11/21) Chapitre 6: Résidus et développements, théorème des développements finis (version du 28/11/21) Chapitre 7: Standardisation, réduction gauche et réduction de tête (version du 28/11/21) Chapitre 8: Lambda-calculabilité: représentation des fonctions récursives (voir le sujet de DM ci-dessous) Chapitre 9: Lambda-calcul simplement typé et théorèmes de normalisation (version du 28/11/21) Travaux dirigés TD du 10 novembre 2021 Exercices préparatoires pour le TD du 24 novembre 2021 DM DM pour le 3 décembre 2021 (version éditée le 28/11/21) Références bibliographiques À venir