combinatorische logica
Sign in to savelogical formalism using combinators instead of variables
In the Vinony graph
Within Vinony's link graph, combinatorische logica is referenced by 85 other articles, and connects out to functional programming, Elsevier and first-order logic.
It sits within the topics Combinatory logic, Lambda calculus and Logic in computer science.
Its subject is documented across 22 Wikipedia language editions.
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 · Nederlands
De combinatorische logica (ook: combinatoire logica) was oorspronkelijk een door en Haskell Curry bedachte notatie in de wiskundige logica, waarmee de noodzakelijkheid van het gebruik van variabelen verdween. De laatste tijd wordt deze notatie vooral gebruikt in de computerwetenschap, meer in het bijzonder in de theoretische informatica en voor het ontwerpen van functionele programmeertalen. De notatie is gebaseerd op combinatoren in de vorm van een hogere-ordefunctie zonder vrije variabelen.
Abstract from DBpedia / Wikipedia · CC BY-SA