Merkitys
- 1.eräs universaali laskennan malli, joka perustuu muuttujiin, abstraktioihin (funktioihin) ja näiden sovelluksiin
Etymologia
Käännökset
- engl.lambda calculus
- venäjäлямбда-исчисление
Esimerkkilauseet
Tyypitetyssä lambdakalkyylissä jokaiselle termille tulee olla yksi tyyppi.
Funktionaalinen ohjelmointi eli funktio -ohjelmointi on ohjelmointiparadigma, joka perustuu matemaattisten funktioiden käyttöön ja tarkemmin lambdakalkyyliin.
Englanninkieliset vastineet
- lambda calculus
Taivutustiedot
Taivutusluokka 5
| Sijamuoto | Yksikkö |
|---|---|
| Nominatiivi | lambdakalkyyli |
| Genetiivi | lambdakalkyylin |
| Partitiivi | lambdakalkyyliä |
| Essiivi | lambdakalkyylinä |
| Translatiivi | lambdakalkyyliksi |
| Inessiivi | lambdakalkyylissä |
| Elatiivi | lambdakalkyylistä |
| Illatiivi | lambdakalkyyliin |
| Adessiivi | lambdakalkyylillä |
| Ablatiivi | lambdakalkyyliltä |
| Allatiivi | lambdakalkyylille |
| Abessiivi | lambdakalkyylittä |
Riimit
-ɑlkyːli
Kaikki riimit