Retour
Lire l’article sur Wikipédia
Peu commune1/1Libre
Notion
Lambda-calcul
Aura
250,3 k
N° 46 929
Touche la carte pour la faire tourner.
Peu commune
Lambda-calcul
Système formel de la logique mathématique
1/1Un exemplaire au monde.
Statut
Libre. Elle peut sortir de ton prochain booster.
- Aura (depuis 2015)
- 250 327
- Rang de la carte
- N° 46 929
- Type
- Notion
Extrait.
Le lambda-calcul (ou λ-calcul) est un système formel inventé par Alonzo Church dans les années 1930. Ce système fonde les concepts de fonction et d'application qui forment un cadre pour manipuler des expressions appelées λ-expressions.
Crédits
Illustration
- Auteur
- PIerre.Lescanne
- Licence
- CC BY-SA 4.0
- Source
- Un terme avec liens version 2.png · Wikimedia Commons
- Modifications
- Recadrage et effets visuels Devon (cadre, reflets holographiques).
Texte
Résumé et adapté de l’article « Lambda-calcul », Wikipédia en français. Licence CC BY-SA 4.0.
Aura : statistiques de consultation de l’API Wikimedia.