Lambda-reikningur

Úr Wikipediu, frjálsa alfræðiritinu
Stökkva á: flakk, leita

Lambda-reikningur[1][2] (einnig ritað λ-reikningur) er formlegt kerfi innan stærðfræðilegrar rökfræði og tölvunarfræði sem skilgreinir fallaskilgreiningar, fallabeytingu og endurkvæmni.

Tengt efni[breyta | breyta frumkóða]

Tilvísanir[breyta | breyta frumkóða]