Naslov
Lambda račun
(Lambda calculus)

Autori
Jovetić, Bojana

Vrsta, podvrsta i kategorija rada
Ocjenski radovi, diplomski rad, diplomski

Fakultet
Odjel za matematiku

Mjesto
Rijeka

Datum
17.09

Godina
2012

Stranica
37

Mentor
Martinčić-Ipšić, Sanda

Ključne riječi
apstrakcija; deklarativno programiranje; funkcija; funkcijsko programiranje; izraz; kombinacija; kontraktum; lambda ra
(lambda calculus; declarative programming; function; abstraction)

Sažetak
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.

Izvorni jezik
Hrvatski

Znanstvena područja
Matematika, Informacijske i komunikacijske znanosti

POVEZANOST RADA