Lambda-reikningur
Úr Wikipediu, frjálsa alfræðiritinu
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]
- CAR og CDR
- Common Lisp
- Haskell-forritunarmálið
- Lambda (λ) — ellefti bókstafurinn í gríska stafrófinu
- Lisp
- Tagskiptur lambda-reikningur
- Ótagskiptur lambda-reikningur
