Translate:
English
Chinese (S)
Chinese (T)
Croatian
Dutch
French
German
Hebrew
Italian
Japanese
Korean
Portuguese
Russian
Serbian
Spanish
Swedish
Turkish
Additional
lambda-calcul
Wikipédia en français - L'encyclopédie libre
Download this dictionary
Lambda-calcul
Le
lambda-calcul
(ou
λ-calcul
) est un
système formel
inventé par
Alonzo Church
dans les
années 1930
, qui fonde les concepts
de fonction et d'application
. Il a été le premier formalisme utilisé pour définir et
caractériser les fonctions récursives
et donc il a une grande importance dans la théorie de la
calculabilité
, à l'égal des
machines de Turing
et du
modèle de Herbrand-Gödel
. Il a depuis été appliqué comme
langage de programmation théorique
et comme
métalangage
pour
la démonstration formelle assistée par ordinateur
. Le lambda-calcul peut être ou non
typé
.
Pour la suite, voir Wikipédia.org…
© Cet article se sert du contenu de
Wikipédia
®
et est autorisé sous les termes de la
Licence de Documentation libre GNU
et est distribué sous les termes de la
licence Creative Commons Paternité-Partage des Conditions Initiales à l'Identique 3.0 non transposé
.