Kombinatorisk logikk

Fra Wikipedia, den frie encyklopedi
Hopp til: navigasjon, søk

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.


StubbDenne artikkelen er foreløpig kort eller mangelfull. Du kan hjelpe Wikipedia ved å utvide eller endre den.