File:LambdaAbstraction.svg · Wikimedia Commons · See Wikimedia Commons
Lambda-Kalkül
Also known as λ-calculus, lambda calculi, λ-calculi, untyped lambda calculus, type-free lambda calculus
formale Sprache zur Untersuchung von Funktionen
Wikidata facts
- Image
- Un terme avec liens version 2.png
Show 2 more facts
- Commons category
- Lambda calculus
- Stack Exchange tag
- stackoverflow.com/tags/lambda-calculus
Sources (3)
via Wikidata · CC0
Article · Deutsch
Der Lambda-Kalkül ist eine formale Sprache zur Untersuchung von Funktionen. Er beschreibt die Definition von Funktionen und gebundenen Parametern und wurde in den 1930er Jahren von Alonzo Church und Stephen Cole Kleene eingeführt. Heute ist er ein wichtiges Konstrukt für die Theoretische Informatik, Logik höherer Stufe und Linguistik.
Abstract from DBpedia / Wikipedia · CC BY-SA