File:LambdaAbstraction.svg · Wikimedia Commons · See Wikimedia Commons
Lambda-Kalkül
Sign in to saveAlso known as λ-calculus, lambda calculi, λ-calculi, untyped lambda calculus, type-free lambda calculus
formale Sprache zur Untersuchung von Funktionen
Wikidata facts
- Instance of
- mathematical model
- Subclass of
- formal system
- Part of
- theory of computation
- Named after
- Λ
- Image
- Un terme avec liens version 2.png
- Has use
- model of computation
Show 6 more facts
- discoverer or inventor
- Alonzo Church
- topic's main category
- Category:Lambda calculus
- Commons category
- Lambda calculus
- has characteristic
- Turing completeness
- Stack Exchange tag
- stackoverflow.com/tags/lambda-calculus
- maintained by WikiProject
- WikiProject Mathematics
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