Aller au contenu

lambda-calcul

Définition, traduction, prononciation, anagramme et synonyme sur le dictionnaire libre Wiktionnaire.

Français

[modifier le wikicode]

Étymologie

[modifier le wikicode]
De lambda et calcul, l'utilisation de la lettre λ provient d'une déformation de l'utilisation d'un chevron (x̂) pour indiquer l'abstraction utilisé dans l'ouvrage Principia Mathematica d'Alfred North Whitehead et Bertrand Russell. [1]

Nom commun

[modifier le wikicode]
SingulierPluriel
lambda-calcul lambda-calculs
\lɑ̃b.da kal.kyl\

lambda-calcul \lɑ̃b.da kal.kyl\ masculin

  1. (Mathématiques, Informatique) Système formel fondé sur le concept d'application qui forme un cadre pour manipuler des expressions appelées λ-expressions.
    • On pourrait décrire le lambda-calcul (ou λ-calcul) comme “le premier et le plus simple des langages de programmation fonctionnels”. — (Lambda Calcul, Gabriel Scherer → lire en ligne)

Traductions

[modifier le wikicode]
 

Variantes orthographiques

[modifier le wikicode]

Prononciation

[modifier le wikicode]

→ Prononciation audio manquante. (Ajouter un fichier ou en enregistrer un avec Lingua Libre Lingua Libre)

Références

[modifier le wikicode]

Sources

[modifier le wikicode]
  1. ↑ J. Barkley Rosser, « Highlights of the History of the Lambda-Calculus », Annals of the History of Computing, vol. 6, no 4,‎ octobre 1984, p. 338.

Voir aussi

[modifier le wikicode]
Récupérée de "https://fr.wiktionary.org/w/index.php?title=lambda-calcul&oldid=39625945"