kombinatorische Logik
Sign in to savelogical formalism using combinators instead of variables
Wikidata facts
- Instance of
- academic discipline
- Subclass of
- logic
Show 3 more facts
- maintained by WikiProject
- WikiProject Mathematics
- Stack Exchange tag
- cstheory.stackexchange.com/tags/combinatory-logic
- topic's main category
- Category:Combinatory logic
Sources (3)
via Wikidata · CC0
Article · Deutsch
Kombinatorische Logik (Abgekürzt CL für engl. Combinatory Logic) ist eine Notation, die von Moses Schönfinkel und Haskell Brooks Curry eingeführt wurde, um die Verwendung von Variablen in der Mathematischen Logik zu vermeiden. Sie wird besonders in der Informatik als theoretisches Modell für Berechnung, als auch als Grundlage zum Design funktionaler Programmiersprachen eingesetzt.
Abstract from DBpedia / Wikipedia · CC BY-SA