Logo
Unionpedia
Kommunikasjon
Tilgjengelig på Google Play
Ny! Last ned Unionpedia på din Android™-enhet!
Nedlasting
Raskere tilgang enn browser!
 

Kombinatorisk logikk

Index Kombinatorisk logikk

Kombinatorisk logikk er en form for notasjon i matematikk oppfunnet av Moses Schönfinkel med fordypning av Haskell Curry.

4 relasjoner: Funksjonell programmering, Haskell Curry, Logikk, Matematikk.

Funksjonell programmering

Funksjonell programmering brukes innenfor informatikken om et programmeringsparadigme som behandler utregninger som en evaluering av matematiske funksjoner og unngår tilstandsendringer og foranderlige data.

Ny!!: Kombinatorisk logikk og Funksjonell programmering · Se mer »

Haskell Curry

Haskell Brooks Curry (født 12. september 1900, død 1. september 1982) var en amerikansk matematiker og logiker.

Ny!!: Kombinatorisk logikk og Haskell Curry · Se mer »

Logikk

Logikk er læren om lovene og reglene som gjør tenkningen, resonneringen og argumentasjonen gyldig («logisk»).

Ny!!: Kombinatorisk logikk og Logikk · Se mer »

Matematikk

Euklid blir av mange regnet som geometriens far, her i et maleri av Rafael. Matematikk kan beskrives som en gruppe relaterte emner der en studerer objekter karakterisert med størrelse, orientering og/eller form, og også relasjoner mellom disse objektene.

Ny!!: Kombinatorisk logikk og Matematikk · Se mer »

UtgåendeInnkommende
Hey! Vi er på Facebook nå! »