Lambda-Kalkül - DDDEasy
Wortinformationen
Artikel: das
Wort: Lambda-Kalkül
Typ: Substantiv
PowerIndex: 1
Häufigkeit: 2 von 10
Wörter mit Endung -lambda-kalkül aber mit einem anderen Artikel: -1
80% unserer Spielapp-Nutzer haben den Artikel korrekt erraten.
Lambda-Kalkül Definition
Bedeutung - Lambda-Kalkül
[1] : 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.
Lambda-Kalkül Wiki
Author: Monkeyblue
Lizenz: Public domain
Bild:Wikimedia
Wortbeschreibung : Wikipedia
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.