Teorija izračunljivosti
Seminarski radovi
238/2006Vojinović IgorIzračunljivost. Odlučivost
264/2006Stojanović MarkoTjuringova mašina
025/2007Stojić NikolaFormalni opis Tjuringove mašine
328/2006Biberdžić BorišaVarijante Tjuringove mašine
310/2008Savić MilošPrimitivno rekurzivne funkcije
268/2006Grujić AleksandarPrimitivno rekurzivne funkcije
059/2007Aleksandrić IvonaParcijalno rekurzivne funkcije
305/2008Rakonjac GordanaUniverzalni predikat i univerzalna funkcija
338/2006Ljutić BojanaTjuring-izračunljive i parcijalno rekurzivne funkcije
215/2007Babić MilošOdlučivi i neodlučivi predikati i skupovi
076/2006Radmanovac Vukašin
177/2006Banović StefanTeorija složenosti izračunavanja
202/2007Kovačević TanjaKlase složenosti i kompletni problemi
223/2006Rujević DanijelKlase složenosti
270/2006Janković JankoVerovatnosne klase složenosti
213/2007Kalanović BrankoKriptografija
218/2007Mijatović MilošProtokoli
164/2007Milić DanicaTeorija formalnih jezika
045/2007Popović OgnjenkaKonačni automati
223/2006Rujević DanijelSvojstva regularnih jezika
213/2007Kalanović BrankoFormalna verivikacija
324/2006Krivokapić MilovanProblem vrednosti logičkog kola i P-kompletnost