Naar inhoud springen

Combinatorische logica

Uit Wikipedia, de vrije encyclopedie
Dit is de huidige versie van de pagina Combinatorische logica voor het laatst bewerkt door SanderO (overleg | bijdragen) op 11 okt 2016 09:37. Deze URL is een permanente link naar deze versie van deze pagina.
(wijz) ← Oudere versie | Huidige versie (wijz) | Nieuwere versie → (wijz)

De combinatorische logica (ook: combinatoire logica) was oorspronkelijk een door Moses Schönfinkel 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.

Overgenomen van "https://nl.wikipedia.org/w/index.php?title=Combinatorische_logica&oldid=47695907"