Kombinatorisk logikk
![](http://upload.wikimedia.org/wikipedia/commons/thumb/9/99/Question_book-new.svg/50px-Question_book-new.svg.png)
Denne artikkelen mangler kildehenvisninger, og opplysningene i den kan dermed være vanskelige å verifisere. Kildeløst materiale kan bli fjernet.
Kombinatorisk logikk er en form for notasjon i matematikk oppfunnet av Moses Schönfinkel med fordypning av Haskell Curry.
Målet med kombinatorisk logikk er å eliminere behovet for variabler i matematisk logikk. Det har i nyere tid blitt brukt innenfor informatikk som en teoretisk modell for kalkulasjoner, og er i tillegg brukt som basis for funksjonelle programmeringsspråk. Notasjonen er basert på idéen om en kombinator. En kombinator er en høyere ordensfunksjon som bruker kun funksjonsapplikasjoner og tidligere definerte kombinatorer for å skape resultatet av argumentene sine.
Denne artikkelen er en spire. Du kan hjelpe Wikipedia ved å utvide den.