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)
Last updated on 10 December 2024.
Come back to main page.