lambda-calcul
- Domaines
-
- informatiquelangage de programmation informatique
- intelligence artificielle
- Dernière mise à jour
Définition :
Mode de calcul proposé par le mathématicien Church pour abstraire de l'expression d'une fonction f(x) la fonction en soi notée lambda x. f(x). Le lambda-calcul prend pour thème les lambda-expressions représentant des fonctions et formalisant les mécanismes de substitution.
Note :
Le langage Lisp est une version informatique du lambda-calcul.
Termes privilégiés :
- lambda-calcul n. m.
- lambda calcul n. m.
- λ-calcul n. m.
Traductions
-
anglais
Auteur : Office québécois de la langue française,Note :
When put in front of an expression containing that "free variable", as in, (λ x)(x+1), the whole expression denotes a function, f, such that, in this case, f(x) = x+1. We say the function has been abstracted from the expression "x+l". The programming language LISP is based explicitly on the lambda calculus.
Termes :
- lambda calculus
- lambda-calculus
- λ-calculus