Upprunaleg setning: Lambda-reikningur ( 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 .
Leiðrétt setning: Lambda-reikningur ( einnig ritað λ-reikningur ) er formlegt kerfi innan stærðfræðilegrar rökfræði og tölvunarfræði sem skilgreinir fallaskilgreiningar , fallabeitingu og endurkvæmni .