Leçon 929 : Lambda-calcul pur comme modèle de calcul. Exemples.

(2019) 929
(2021) 929

Dernier rapport du Jury :

(2019 : 929 - Lambda-calcul pur comme modèle de calcul. Exemples.) 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).

(2018 : 929 - Lambda-calcul pur comme modèle de calcul. Exemples.) Rapport du jury 2017 : 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 pourra aborder la façon dont il permet de définir et d’utiliser des types de données (booléens, couples, listes, arbres).

Développements :

Plans/remarques :

2018 : Leçon 929 - Lambda-calcul pur comme modèle de calcul. Exemples.


Retours d'oraux :

Pas de retours pour cette leçon.

Références utilisées dans les versions de cette leçon :

Logique et fondements de l'informatique, Rougemont, Lassaigne (utilisée dans 6 versions au total)
Lectures on the Curry-Howard Isomorphism, M. H. Sørensen, P. Urzyczyn (utilisée dans 2 versions au total)
The Lambda Calculus. Its Syntax and Semantics, Henk Barendregt (utilisée dans 3 versions au total)