Translate:
English
Chinese (S)
Chinese (T)
Croatian
Dutch
French
German
Hebrew
Italian
Japanese
Korean
Portuguese
Russian
Serbian
Spanish
Swedish
Turkish
Additional
Lambda-Kalkül
Deutschsprachige Wikipedia - Die freie Enzyklopädie
Download this dictionary
Lambda-Kalkül
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
.
Mehr unter Wikipedia.org...
© Dieser Eintrag beinhaltet Material aus
Wikipedia
®
und ist lizensiert auf
GNU-Lizenz für freie Dokumentation
und
Creative Commons Attribution-ShareAlike License