Izračunljivost
Obavijesti
O kolegiju
- kolegij na drugoj godini diplomskog studija Matematika i računarstvo
- nastava: Vedran Čačić, formalno samo predavanja ali i rješavamo neke zadatke tu i tamo
- zimski semestar, akademska godina 2023./24.: ponedjeljkom od 9 do 12 sati, u A002
- Gradivo:
- dio semestra: modeli izračunavanja (RAM-stroj, rekurzivne funkcije, Turingov stroj)
- dio semestra: metaprogramiranje, neodlučivost i poluodlučivost
- slajdovi s predavanja. Za lakše praćenje nastave, ne za samostalno učenje!
Literatura
- udžbenik koji pokriva svo gradivo kolegija, prilagođen računarcima
- zbirka zadataka koja sadrži sve dosadašnje zadatke s ispita i kolokvija
- M. Vuković: Izračunljivost — puno sažetije pokriva većinu gradiva i ima mnogo zadataka
- R. Shoenfield: Recursion theory — za one koje zanima daljnji razvoj teorije izračunljivosti
Programska podrška