Jeudi 16 mai 2024 de 9h30 à 12h puis de 14h à 16h30, à Télécom Paris [y aller]
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.
Intervenant : David Madore