|
|
KOMBINATORISCHE LOGIK Lógica combinatoria (comp.) Justo Fernández López Diccionario de lingüística espańol y alemán
|
|
|
KOMBINATORISCHE LOGIK Lógica combinatoria (comp.) Justo Fernández López Diccionario de lingüística espańol y alemán
|
|
Vgl.: |
Logik / Logistik / Logizismus / Formalismus / Intuitionismus / Konstruktivismus |
„Kombinatorische Logik
Die kombinatorische Logik, der allerjüngste Zweig der Logistik, stellt einen Kalkül dar, in dem es nur Konstante gibt, die so genannten Kombinatoren, die sowohl als Funktor wie als Argument auftreten. Um diese Kombinatoren zu definieren (sofern man den Kalkül nicht auf einige undefinierte Grundkombinatoren aufbaut) und um sie auf andere Gebiete (z.B. Logik, Mathematik) anzuwenden, dient der Lambda-Kalkül, ein Kalkül, in dem außer dem Lambda-Funktor nur Variable auftreten.“
[Bochenski, I. M. / Menne, A.: Grundriss der Logistik. Paderborn: Schöningh, 41973, S. 121]
Impressum | Datenschutzerklärung und Cookies
Copyright © 1999-2018 Hispanoteca - Alle Rechte vorbehalten
