Izračunljivost

Obavijesti

Nažalost, još uvijek nisam uspio ispraviti ispite s prvog jesenskog roka. Sve što zasad mogu obećati je da ćete rezultate i uvide dobiti navrijeme da znate trebate li prijavljivati drugi rok (ako se ne varam, taj deadline je u ponedjeljak u 12h). U trenutnim okolnostima po mene usmeni su ionako neizvedivi... morat ćemo se dogovarati za kasnije termine, možda i individualno sa svakim od vas. Još jednom se ispričavam zbog kašnjenja, ali tako je to kad imamo bus factor jednak 1.

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:
  1. dio semestra: modeli izračunavanja (RAM-stroj, rekurzivne funkcije, Turingov stroj)
  2. 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

• simulator RAM-stroja
• interpreter funkcijskog jezika