Préparation à l'option D (informatique) de l'agrégation 2019-2020

Site Internet de la prépa

notes de révision sur le λ-calcul

notes de révision sur les théories

Planning:

• mercredi 18 novembre 2020, 9:30-12:30, visio: λ-calcul (confluence, développements finis)
• mercredi 25 novembre 2020, 9:30-12:30, visio: λ-calcul (standardisation)
• mercredi 2 décembre 2020, 9:30-12:30, visio: λ-calcul (représentation des fonctions récursives partielles)
• mercredi 9 décembre 2020, 9:30-12:30, visio: théories (révisions prouvabilité, modèle, correction, complétude, cohérence, compacité)
• mercredi 20 janvier 2021, 9:30-12:30, visio: théories (élimination des quantificateurs, théories complètes)