929 - Lambda-calcul pur comme modèle de calcul. Exemples.2021

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).

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).