prikaz prve stranice dokumenta Interpreter za parcijalno rekurzivne funkcije
  Preuzmi
PDF 792.47 KB
diplomski rad
Interpreter za parcijalno rekurzivne funkcije
Zagreb: Sveučilište u Zagrebu, Prirodoslovno-matematički fakultet, 2023. urn:nbn:hr:217:641266
Eterović, Marko
Sveučilište u Zagrebu
Prirodoslovno-matematički fakultet
Matematički odsjek

Institucijski repozitorij: Repozitorij Prirodoslovno-matematičkog fakulteta

Citirajte ovaj rad

Eterović, M. (2023). Interpreter za parcijalno rekurzivne funkcije (Diplomski rad). Zagreb: Sveučilište u Zagrebu, Prirodoslovno-matematički fakultet. Preuzeto s https://urn.nsk.hr/urn:nbn:hr:217:641266

Eterović, Marko. "Interpreter za parcijalno rekurzivne funkcije." Diplomski rad, Sveučilište u Zagrebu, Prirodoslovno-matematički fakultet, 2023. https://urn.nsk.hr/urn:nbn:hr:217:641266

Eterović, Marko. "Interpreter za parcijalno rekurzivne funkcije." Diplomski rad, Sveučilište u Zagrebu, Prirodoslovno-matematički fakultet, 2023. https://urn.nsk.hr/urn:nbn:hr:217:641266

Eterović, M. (2023). 'Interpreter za parcijalno rekurzivne funkcije', Diplomski rad, Sveučilište u Zagrebu, Prirodoslovno-matematički fakultet, citirano: 26.11.2024., https://urn.nsk.hr/urn:nbn:hr:217:641266

Eterović M. Interpreter za parcijalno rekurzivne funkcije [Diplomski rad]. Zagreb: Sveučilište u Zagrebu, Prirodoslovno-matematički fakultet; 2023 [pristupljeno 26.11.2024.] Dostupno na: https://urn.nsk.hr/urn:nbn:hr:217:641266

M. Eterović, "Interpreter za parcijalno rekurzivne funkcije", Diplomski rad, Sveučilište u Zagrebu, Prirodoslovno-matematički fakultet, Zagreb, 2023. Dostupno na: https://urn.nsk.hr/urn:nbn:hr:217:641266

Za citiranje koristite ovu mrežnu adresu: https://urn.nsk.hr/urn:nbn:hr:217:641266
Podaci o radu
NaslovInterpreter za parcijalno rekurzivne funkcije
Naslov (engleski)Interpreter for partially recursive functions
AutorMarko Eterović
MentorVedran Čačić (mentor)
Član povjerenstvaVedran Čačić (predsjednik povjerenstva)
Član povjerenstvaOzren Perše (član povjerenstva)
Član povjerenstvaMiljenko Marušić (član povjerenstva)
Član povjerenstvaMatej Mihelčić (č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 obrane2023-11-30, Hrvatska
Znanstveno / umjetničko
područje, polje i grana		PRIRODNE ZNANOSTI
Matematika
Sažetak
U ovom radu proučavamo parcijalno rekurzivne funkcije te izrađujemo interpreter za njih. U prvom poglavlju definiramo inicijalne funkcije i tri osnovne operacije (kompoziciju, primitivnu rekurziju i minimizaciju) na funkcijama i relacijama. Dokazujemo da je skup Python-izračunljivih funkcija zatvoren na te tri operacije. Definiramo neke dodatne funkcije, operacije i logičke operatore te dokazujemo njihovu primitivnu rekurzivnost. U drugom poglavlju koristimo framework vepar kako bismo u Pythonu izradili interpreter koji podržava sve funkcije i operacije na funkcijama definirane u prvom poglavlju. Kroz poglavlje postupno dodajemo nove funkcionalnosti u interpreter i opisujemo razne mogućnosti vepra.
Sažetak (engleski)
In this paper we study partial recursive functions and develop an intepreter for them. In the first chapter we define initial functions and three primary operations (composition, primitive recursion and minimisation) on functions and relations. We prove that the set of all Python-computable functions is closed under those three operations. We define some other functions, operations and logical operators and prove they are primitive recursive (or that they preserve primitive recursivity). In the second chapter we use a framework called vepar to develop an interpreter in Python which supports all functions and operations on functions defined in the first chapter. Throughout the chapter we incrementally add new functionalities to the interpreter and describe various capabilities of vepar.
Ključne riječi
Ključne riječi (engleski)
Jezikhrvatski
URN:NBNurn:nbn:hr:217:641266
Studijski programNaziv: Računarstvo i matematika
Vrsta studija: sveučilišni
Stupanj studija: diplomski
Akademski / stručni naziv: sveučilišni magistar računarstva i matematike (univ. 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 pohrane2024-02-12 10:52:22