lambda-calcul.
Publié le 08/12/2021
Extrait du document
Ci-dessous un extrait traitant le sujet : lambda-calcul.. Ce document contient 92 mots. Pour le télécharger en entier, envoyez-nous un de vos documents grâce à notre système d’échange gratuit de ressources numériques ou achetez-le pour la modique somme d’un euro symbolique. Cette aide totalement rédigée en format pdf sera utile aux lycéens ou étudiants ayant un devoir à réaliser ou une leçon à approfondir en : Encyclopédie
lambda-calcul. n.m., formalisme mathématique introduit en 1941 par le
mathématicien et logicien Alonzo Church. Son but était de donner un fondement
rigoureux à l'étude des notions de fonction et d'application de fonction. Le lambda-calcul
est devenu un outil de base pour la linguistique de la programmation. Il est l'équivalent
mathématique des machines de Turing, ce qui en fait une des rares bases formelles
rigoureuses pour l'étude des algorithmes (notons que Church a dirigé la thèse de Turing
à Princeton, où travaillait aussi Gödel). Il a donné naissance au langage de
programmation Lisp.
lambda-calcul. n.m., formalisme mathématique introduit en 1941 par le
mathématicien et logicien Alonzo Church. Son but était de donner un fondement
rigoureux à l'étude des notions de fonction et d'application de fonction. Le lambda-calcul
est devenu un outil de base pour la linguistique de la programmation. Il est l'équivalent
mathématique des machines de Turing, ce qui en fait une des rares bases formelles
rigoureuses pour l'étude des algorithmes (notons que Church a dirigé la thèse de Turing
à Princeton, où travaillait aussi Gödel). Il a donné naissance au langage de
programmation Lisp.
↓↓↓ APERÇU DU DOCUMENT ↓↓↓
Liens utiles
- Grand oral - ultrasons et calcul rénal
- L'invention du calcul des probabilités La "Géométrie du hasard" de Pascal Blaise Pascal (1623-1662)
- calcul.
- calcul n.
- CALCUL INTÉGRAL