lamb­da­kal­kyy­li

substantiivi/ˈlɑmbdɑˌkɑlkyːli/
Jaa

Yhdyssana: lambda + kalkyyli

Merkitys

  1. eräs universaali laskennan malli, joka perustuu muuttujiin, abstraktioihin (funktioihin) ja näiden sovelluksiin

Etymologia

lambda + kalkyyli

Käännökset

  • engl.lambda calculus
  • venäjäлямбда-исчисление

Esimerkkilauseet

Tyypitetyssä lambdakalkyylissä jokaiselle termille tulee olla yksi tyyppi.
Wikipedia: Lambdakalkyyli
Funktionaalinen ohjelmointi eli funktio -ohjelmointi on ohjelmointiparadigma, joka perustuu matemaattisten funktioiden käyttöön ja tarkemmin lambdakalkyyliin.
Wikipedia: Funktionaalinen ohjelmointi

Englanninkieliset vastineet

  • lambda calculus

Taivutustiedot

Taivutusluokka 5

SijamuotoYksikkö
Nominatiivilambdakalkyyli
Genetiivilambdakalkyylin
Partitiivilambdakalkyyliä
Essiivilambdakalkyylinä
Translatiivilambdakalkyyliksi
Inessiivilambdakalkyylissä
Elatiivilambdakalkyylistä
Illatiivilambdakalkyyliin
Adessiivilambdakalkyylillä
Ablatiivilambdakalkyyliltä
Allatiivilambdakalkyylille
Abessiivilambdakalkyylittä

Riimit

-ɑlkyːli

Kaikki riimit

Lähteet