Pregled bibliografske jedinice broj: 405469
Izračunljivost
Izračunljivost
Zagreb: PMF-Matematički odjel, 2009
CROSBI ID: 405469 Za ispravke kontaktirajte CROSBI podršku putem web obrasca
Naslov
Izračunljivost
(Computability)
Autori
Vuković, Mladen
Vrsta obrazovnog materijala
Ostalo (nedefinirano)
Izdavač
PMF-Matematički odjel
Grad
Zagreb
Godina
2009
Stranica
110
Ključne riječi
rekurzivne funkcije; RAM-stroj; Churchova teza
(recursive functions; RAM-machine; Church thesis)
Sažetak
Skripta je namijenjena studentima prve godine diplomskog studija Računarstvo i matematika na PMF-Matematičkom odsjeku Sveučilišta u Zagrebu. Sastoji se od devet poglavlja. Razmatrana je teorija rekurzivnih funkcija. Dokazano je da je klasa svih RAM-izračunljivih funkcija jednaka klasi svih parcijalno rekurzivnih funkcija.
Izvorni jezik
Hrvatski
Znanstvena područja
Matematika
POVEZANOST RADA
Projekti:
120-1203164-3074 - Matematička logika i primjene (Šikić, Zvonimir, MZOS ) ( CroRIS)
037-0372781-2809 - Geometrija Frobeniusa (Vuković, Mladen, MZOS ) ( CroRIS)
Ustanove:
Prirodoslovno-matematički fakultet, Matematički odjel, Zagreb,
Fakultet strojarstva i brodogradnje, Zagreb
Profili:
Mladen Vuković
(autor)
