1 - Établissement: Télécom Paris
2 - Date: jeudi 16 mai 2024
3 - Public attendu: les professeurs de CPGE toute filière en mathématiques, physique, chimie, informatique et sciences de l'ingénieur, et plus généralement les enseignants ou enseignants-chercheurs intéressés de l'enseignement secondaire ou supérieur. Les professeurs de CPGE d'informatique et de mathématiques sont les plus susceptibles d'être intéressés.
4 - Nombre de places offertes: illimité (pas de TD/TP)
6 - Intitulé du stage: Logique, Calculabilité, Typage
7 - Intervenant: David Madore, maître de conférences à Télécom Paris (département Informatique et Réseaux), david.madore@telecom-paris.fr
8 - Descriptif:
Page Web de présentation : www.telecom-paris.fr/liesse/ [maintenue par Télécom Paris]
Ce stage
présentera le contenu du cours Logique et Fondements de
l'Informatique (INF110) créé en 2023–2024 à Télécom Paris
en lien avec la filière MPI des classes
préparatoires. Après un mot sur le contexte du cours et les choix
pédagogiques, nous parlerons de calculabilité de Church-Turing et
de la correspondance de Curry-Howard entre logique intuitionniste
et le typage du λ-calcul ; si le temps le permet, nous dirons
aussi un mot sur la réalisabilité propositionnelle.
Mots-clés: calculabilité, machines de Turing, lambda-calcul,
logique intuitionniste, typage, correspondance de Curry-Howard
9 - Informations pratiques:
Restauration prise en charge par l’école
10 - Prérequis: une certaine familiarité avec les programmes de CPGE (MP et MPI) en maths et/ou info est souhaitable
11 - Programme (sous réserve de modifications): 9h30–10h00 Accueil et présentation (grand hall) — 10h00–12h00 Introduction et calculabilité (amphi 5) — 14h00–16h00 Logique et typage (amphi 5)
