Izračunljivost
Obavijesti
- Izračunljivost na prvom jesenskom roku se piše u utorak, 25. kolovoza u 14:00. Molim sve studente koji bi izašli na taj rok a ne mogu prijaviti ispit na Studomatu, da mi se jave mailom najkasnije do sutra (subota) u 10:00.
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