lambda-calcul.
Publié le 02/11/2013
Extrait du document
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.
Liens utiles
- Comment l’astronomie, la navigation et le calcul bancaire sont-ils à l’origine de l’invention des logarithmes ?
- Calcul Matriciel MPSIA
- numération calcul 10 + 10 + 10 + 6 = 10 + 10
- numération calcul 10 + 10 + 10 + 1 = 10 + 10
- Calcul literral