Aperçu de la section

  • Description de la formation

    • Description de la formation

      Par défaut cette section est publique et visible par tous les visiteurs
      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)
      5 - Lieu de la formation: Télécom Paris, 19 pl. Marguerite Perey, 91 120 Palaiseau (comment venir?) — amphi 5
      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)