Lambda calculus


Get Babylon's Translation Software! Free Download Now!

Wikipédia FrançaisTéléchargez ce dictionnaire

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 ne pas être 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


Décrivez Lambda calculus

Définition de Lambda calculus




Lambda calculus en Chinois | | Lambda calculus en Anglais | Lambda calculus en Italien | Lambda calculus en Espagnol | Lambda calculus en Néerlandais | Lambda calculus en Portugais | Lambda calculus en Allemand | Lambda calculus en Russe | Lambda calculus en Japonais | Lambda calculus en Greek | Lambda calculus en Hébreu | Lambda calculus en Croate | Lambda calculus en Serbian