prikaz prve stranice dokumenta Izračunljive strukture
  Download
PDF 256.15 KB
master's thesis
Izračunljive strukture
Zagreb: University of Zagreb, Faculty of Science, 2020. urn:nbn:hr:217:817234
Vreš, Maja
University of Zagreb
Faculty of Science
Department of Mathematics

Institutional repository: Repository of the Faculty of Science

Cite this document

Vreš, M. (2020). Izračunljive strukture (Master's thesis). Zagreb: University of Zagreb, Faculty of Science. Retrieved from https://urn.nsk.hr/urn:nbn:hr:217:817234

Vreš, Maja. "Izračunljive strukture." Master's thesis, University of Zagreb, Faculty of Science, 2020. https://urn.nsk.hr/urn:nbn:hr:217:817234

Vreš, Maja. "Izračunljive strukture." Master's thesis, University of Zagreb, Faculty of Science, 2020. https://urn.nsk.hr/urn:nbn:hr:217:817234

Vreš, M. (2020). 'Izračunljive strukture', Master's thesis, University of Zagreb, Faculty of Science, accessed 28 March 2025, https://urn.nsk.hr/urn:nbn:hr:217:817234

Vreš M. Izračunljive strukture [Master's thesis]. Zagreb: University of Zagreb, Faculty of Science; 2020 [cited 2025 March 28] Available at: https://urn.nsk.hr/urn:nbn:hr:217:817234

M. Vreš, "Izračunljive strukture", Master's thesis, University of Zagreb, Faculty of Science, Zagreb, 2020. Available at: https://urn.nsk.hr/urn:nbn:hr:217:817234

Metadata
TitleIzračunljive strukture
AuthorMaja Vreš
MentorZvonko Iljazović (mentor)
Committee memberZvonko Iljazović (predsjednik povjerenstva)
Committee memberRobert Manger (član povjerenstva)
Committee memberMladen Vuković (član povjerenstva)
Committee memberMatija Bašić (član povjerenstva)
GranterUniversity of Zagreb
Faculty of Science
(Department of Mathematics)
Zagreb
Defense date and country2020-02-28, Croatia
Scientific / art field,
discipline and subdiscipline		NATURAL SCIENCES
Mathematics
Abstract
U radu smo proučili pojam izračunljivih funkcija, povezan s pojmom programa. Zatim smo uveli pojam rekurzivnih funkcija. Dokazali smo da je svaka rekurzivna funkcija izračunljiva, te obrat te tvrdnje. Idući pojam koji smo uveli je pojam parcijalno izračunljive funkcije koju povezujemo uz ranije definiranu izračunljivu funkciju. U zadnjem poglavlju promatrali smo parcijalno rekurzivne funkcije i njihova svojstva, uz korištenje svojstava rekurzivnih funkcija. Konačno, dokazali smo ekvivalenciju... More parcijalno rekurzivnih funkcija i parcijalno izračunljivih funkcija. Na kraju smo dobili važan rezultat, da postoji rekurzivno prebrojiv skup koji nije rekurzivan. Less
Abstract (english)
In this paper we studied the computable functions, related to the concept of the program. Then we introduced the concept of the recursive functions. We proved that every recursive function is computable, and reverse. The next concept we introduced is the concept of the partially computable functions which we related to the earlier introduced computable functions. In the last chapter we studied the partially recursive functions and their properties, by using the properties of the recursive... More functions. Finally, we proved the equivalence of the partially recursive functions and the partially computable functions. In the end we got important result, that there is a recursively countable set that is not recursive. Less
Keywords
Keywords (english)
Languagecroatian
URN:NBNurn:nbn:hr:217:817234
Study programmeTitle: Mathematical Statistics
Study programme type: university
Study level: graduate
Academic / professional title: magistar/magistra matematike (magistar/magistra matematike)
Type of resourceText
File originBorn digital
Access conditionsOpen access
Embargo expiration date: 2021-10-29
Terms of useLicence In copyright icon
Created on2020-10-29 08:52:54
accessibility

closeAccessibilityrefresh

If you wish to permanently save changes, click on Save, if not - your settings will be reset when you restart the browser.