prikaz prve stranice dokumenta Interpreter za lambda-račun
  Preuzmi
PDF 261.18 KB
diplomski rad
Interpreter za lambda-račun
Zagreb: Sveučilište u Zagrebu, Prirodoslovno-matematički fakultet, 2018. urn:nbn:hr:217:929434
Lovnički, Sandro
Sveučilište u Zagrebu
Prirodoslovno-matematički fakultet
Matematički odsjek

Institucijski repozitorij: Repozitorij Prirodoslovno-matematičkog fakulteta

Citirajte ovaj rad

Lovnički, S. (2018). Interpreter za lambda-račun (Diplomski rad). Zagreb: Sveučilište u Zagrebu, Prirodoslovno-matematički fakultet. Preuzeto s https://urn.nsk.hr/urn:nbn:hr:217:929434

Lovnički, Sandro. "Interpreter za lambda-račun." Diplomski rad, Sveučilište u Zagrebu, Prirodoslovno-matematički fakultet, 2018. https://urn.nsk.hr/urn:nbn:hr:217:929434

Lovnički, Sandro. "Interpreter za lambda-račun." Diplomski rad, Sveučilište u Zagrebu, Prirodoslovno-matematički fakultet, 2018. https://urn.nsk.hr/urn:nbn:hr:217:929434

Lovnički, S. (2018). 'Interpreter za lambda-račun', Diplomski rad, Sveučilište u Zagrebu, Prirodoslovno-matematički fakultet, citirano: 22.11.2024., https://urn.nsk.hr/urn:nbn:hr:217:929434

Lovnički S. Interpreter za lambda-račun [Diplomski rad]. Zagreb: Sveučilište u Zagrebu, Prirodoslovno-matematički fakultet; 2018 [pristupljeno 22.11.2024.] Dostupno na: https://urn.nsk.hr/urn:nbn:hr:217:929434

S. Lovnički, "Interpreter za lambda-račun", Diplomski rad, Sveučilište u Zagrebu, Prirodoslovno-matematički fakultet, Zagreb, 2018. Dostupno na: https://urn.nsk.hr/urn:nbn:hr:217:929434

Za citiranje koristite ovu mrežnu adresu: https://urn.nsk.hr/urn:nbn:hr:217:929434
Podaci o radu
NaslovInterpreter za lambda-račun
Naslov (hrvatski)Interpreter za \(\lambda\)-račun
AutorSandro Lovnički
MentorVedran Čačić (mentor)
Član povjerenstvaVedran Čačić (predsjednik povjerenstva)
Član povjerenstvaGoranka Nogo (član povjerenstva)
Član povjerenstvaZoran Vondraček (član povjerenstva)
Član povjerenstvaSonja Štimac (član povjerenstva)
Ustanova koja je dodijelila
akademski / stručni stupanj		Sveučilište u Zagrebu
Prirodoslovno-matematički fakultet
(Matematički odsjek)
Zagreb
Datum i država obrane2018-09-20, Hrvatska
Znanstveno / umjetničko
područje, polje i grana		PRIRODNE ZNANOSTI
Matematika
Sažetak
Ukratko, u ovom radu upoznali smo čitatelja s osnovama \(\lambda\)-računa --- jednog od modela za proučavanje izračunavanja koji je ujedno poslužio i kao temelj teorije funkcijskih programskih jezika. Također, bavimo se numeralima --- reprezentacijama brojeva u \(\lambda\)-računu, postojećim brojevnim sustavima poput Churchovih numerala te binarnim brojevnim sustavom koji smo samostalno definirali. Kako bismo mogli evaluirati velike i komplicirane \(\lambda\)-izraze, stvorili smo i programski jezik pLam --- interpreter za čisti (eng. pure) Lambda račun s kojim možemo raditi interaktivno, a i pisati programe koje možemo spremiti kao tekstualne datoteke s ekstenzijom .plam te kasnije pokretati. U radu nastojimo popratiti svako poglavlje relevantnim primjerima kodova pisanih u jeziku pLam.
Sažetak (engleski)
In this paper, we introduce the reader to basics of \(\lambda\)-calculus — one of the models for studying computation which served as the foundation for the theory of functional programming languages. Furthermore, we deal with numerals — representations of numbers in \(\lambda\)-calculus, existant numeral systems like Church numerals and binary numerals which we defined ourselves. In order to evaluate large and complex \(\lambda\)-expressions, we created a programming language pLam — interpreter for pure Lambda calculus, enabling interactive mode, as well as writting programs, saving them as text files with .plam extension and running them later on. Throughout this paper, in each chapter we try to give relevant code examples written in pLam.
Ključne riječi
Ključne riječi (engleski)
Jezikhrvatski
URN:NBNurn:nbn:hr:217:929434
Studijski programNaziv: Računarstvo i matematika
Vrsta studija: sveučilišni
Stupanj studija: diplomski
Akademski / stručni naziv: magistar/magistra računarstva i matematike (mag. inf. et math.)
Vrsta resursaTekst
Način izrade datotekeIzvorno digitalna
Prava pristupaOtvoreni pristup
Uvjeti korištenjaIkona licence Zaštićeno autorskim pravom.
Datum i vrijeme pohrane2019-06-04 12:22:08