WikiDer > Kombinatorische Logik

Combinatorische logica

Das kombinatorische Logik (ebenfalls: kombinatorische Logik) war ursprünglich ein by Moses Schönfinkel und Haskell-Curry erfundene Notation im mathematische Logik, und erklärt damit die Notwendigkeit der Verwendung Variablen verschwunden. In letzter Zeit wurde diese Notation hauptsächlich in der verwendet Informatik, insbesondere in der Theoretische Informatik und zum Gestalten funktionale Programmiersprachen. Die Notation basiert auf Kombinierer geformt wie a Funktion höherer Ordnung ohne freie Variablen.