Translate:
English
Chinese (S)
Chinese (T)
Croatian
Dutch
French
German
Hebrew
Italian
Japanese
Korean
Portuguese
Russian
Serbian
Spanish
Swedish
Turkish
Additional
Logik höherer Stufe
Deutschsprachige Wikipedia - Die freie Enzyklopädie
Download this dictionary
Logik höherer Stufe
Unter
Logik höherer Stufe
, auch
Stufenlogik
, versteht man eine Erweiterung der
Prädikatenlogik erster Stufe
. Sie basiert auf dem
typisierten Lambda-Kalkül
und geht auf
Alonzo Churchs
Theory of Simple Types
zurück.
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