kombinatorisk logik

kombinatorisk logik, en gren av den matematiska logiken i vilken man studerar vissa grundläggande operationer för att konstruera och manipulera funktioner uppfattade som regler för beräkning.

Funktionerna byggs upp utifrån ett fåtal primitiva operationer, kombinatorer, tillsammans med operationen att applicera en funktion på ett argument. Härigenom erhålls bl.a. en formell analys av metoden att konstruera en funktion genom abstraktion (se lambdakalkyl) och av den substitutionsoperation som är förknippad med variabler. Man har inom denna ram

Litteraturanvisning

Källangivelse

Vill du komma åt hela artikeln?

  • Objektiv och pålitlig kunskap.

  • Prova det, du kommer att gilla det!

  • Marknadsledare i Sverige.

eller
Är du lärare? Starta din kostnadsfria provperiod härifrån.