Back تكامل لامدا Arabic Lambda hesablaması Azerbaijani ল্যাম্ডা ক্যালকুলাস Bengali/Bangla Lambda račun BS Càlcul lambda Catalan Лямбда-ларар CE جیاکاری و تەواوکاری لامدا CKB Lambda kalkul Czech Lambdakalkyle Danish Lambda-Kalkül German
Lambdakalkyyli (engl. lambda calculus) on formaalin laskennan malli. Sen avulla voidaan käsitellä matemaattisia ja laskennallisia ongelmia.
Lambdakalkyyli on Turing-täydellinen, eli sillä voidaan ilmaista mitä tahansa matemaattisia laskennan ongelmia.
Lambdakalkyyliä voidaan myös itsessään pitää ohjelmointikielenä.[1]
- ↑ Huovinen, Marja: Lambdakalkyylin perusteita (postscript (.ps)) tyyppiteoria ja ohjelmointikielet – seminaari. Helsinki 30.1.2003. Tietojenkäsittelytieteen laitos, HELSINGIN YLIOPISTO. Viitattu 10.1.2012. (suomeksi)