lambdakalkyl

lambdakalkyl, formellt logiskt system som bygger på en notation för funktioner föreslagen av Alonzo Church ca 1930. Ett matematiskt uttryck såsom x2 kan informellt dels stå för en viss funktion, kvadreringsfunktionen, dels för det värde som denna ... (38 av 255 ord)

Vill du veta mer om lambdakalkyl?
Prova NE.se nu!

Innehåll

Skribenter

Tipsa och dela

NE:s årsbok 2011 ute nu!

NE:s årsbok sammanfattar året som gått. För den som är intresserad av sin samtid och vill hålla historien levande är årsboken en ovärderlig skatt!
» Till Kunskapsbutiken