Lambda račun (CROSBI ID 374306)
Ocjenski rad | diplomski rad
Podaci o odgovornosti
Jovetić, Bojana
Martinčić-Ipšić, Sanda
hrvatski
Lambda račun
U ovom diplomskom radu objašnjena je sintaksa lambda računa, definirani osnovni pojmovi i njihova povezanost, a zatim su ti pojmovi iskorišteni za prikaz aritmetike lambda računa. Nakon usvojenih osnovnih pojmova i operacija, navedena su osnovna pravila i strategije skraćivanja složenih lambda izraza. Sve navedeno potkrijepljeno je primjerima i njihovim objašnjenjima, a na kraju je navedena važnost lambda računa u funkcijskom programiranju.
apstrakcija; deklarativno programiranje; funkcija; funkcijsko programiranje; izraz; kombinacija; kontraktum; lambda ra
nije evidentirano
engleski
Lambda calculus
nije evidentirano
lambda calculus; declarative programming; function; abstraction
nije evidentirano
Podaci o izdanju
37
17.09.2012.
obranjeno
Podaci o ustanovi koja je dodijelila akademski stupanj
Rijeka