Modeli izračunljivosti
Predmet je namenjen studentima doktorskih studija Fakulteta tehničkih nauka u Novom Sadu.
Predmetni nastavnik prof. Silvia Gilezan
Literatura
* Zoran Ognjanović: Teorijsko računarstvo, 2008
* Michael Sipser: Introduction to the Theory of Computation, Cengage Learning 2012, Thomson Course Technology, 1996, 2004, deo knjige
Dodatna literatura i informacije su dostupni na stranici predmeta Logika u računarstvu?