Predavanja iz  "Logike u računarstvu" i dogovor za module "Semantika programskih jezika" i "Modeli izvračunljivosti" za studente doktorskih studija će biti održana u februaru 2018. godine
Detaljnije informacije će biti poslate u januaru 2018. godine.

Informacije u vezi sa modulima su na stranici:
http://imft.ftn.uns.ac.rs/~silvia/Teaching
https://sites.google.com/site/logikauracunarstvu/home

Prof.dr Silvia Gilezan