Leçon #1244
Actif : false
Numero : 929
Titre : Lambda-calcul pur comme modèle de calcul. Exemples.2021
Créé le : 23/07/2026 12:42
Mis à jour : 23/07/2026 12:42
Rapport du jury 2018
Rapport du jury 2017 : \rIl s’agit de présenter un modèle de calcul : le lambda-calcul pur. Il est important de faire le lien avec au moins un autre modèle de calcul, par exemple les machines de Turing ou les fonctions récursives. Néanmoins, la leçon doit traiter des spécificités du lambda-calcul. Ainsi le candidat doit motiver l’intérêt du lambda-calcul pur sur les entiers et pourra aborder la façon dont il permet de définir et d’utiliser des types de données (booléens, couples, listes, arbres).
Rapport du jury 2017 : \rIl s’agit de présenter un modèle de calcul : le lambda-calcul pur. Il est important de faire le lien avec au moins un autre modèle de calcul, par exemple les machines de Turing ou les fonctions récursives. Néanmoins, la leçon doit traiter des spécificités du lambda-calcul. Ainsi le candidat doit motiver l’intérêt du lambda-calcul pur sur les entiers et pourra aborder la façon dont il permet de définir et d’utiliser des types de données (booléens, couples, listes, arbres).
Rapport du jury 2019
Il s’agit de présenter un modèle de calcul : le lambda-calcul pur. Il est important de faire le lien avec au moins un autre modèle de calcul, par exemple les machines de Turing ou les fonctions récursives. Néanmoins, la leçon doit traiter des spécificités du lambda-calcul. Ainsi le candidat doit motiver l’intérêt du lambda-calcul pur sur les entiers et aborder la façon dont il permet de définir et d’utiliser des types de données (booléens, couples, listes, arbres).
Il s’agit de présenter un modèle de calcul : le lambda-calcul pur. Il est important de faire le lien avec au moins un autre modèle de calcul, par exemple les machines de Turing ou les fonctions récursives. Néanmoins, la leçon doit traiter des spécificités du lambda-calcul. Ainsi le candidat doit motiver l’intérêt du lambda-calcul pur sur les entiers et aborder la façon dont il permet de définir et d’utiliser des types de données (booléens, couples, listes, arbres).