Lambda-reikningur
From Wikipedia, the free encyclopedia
Remove ads
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
- CAR og CDR
- Common Lisp forritunarmálið
- Clojure forritunarmálið
- Haskell forritunarmálið
- Lambda (λ) – ellefti bókstafurinn í gríska stafrófinu
- Lisp forritunarmálið/fjölskyldan
- Ótagskiptur lambda-reikningur
- Tagskiptur lambda-reikningur
Tilvísanir
Wikiwand - on
Seamless Wikipedia browsing. On steroids.
Remove ads