Izračunljivost
Obavijesti
Rezultati drugog roka
Termini usmenih ispita su u tablici na gornjem linku. Možete se zamjenjivati međusobno za termine, meni je svejedno tko dolazi u kojem terminu.
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