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 po rasporedu:  
petak 09.03.2018. vreme: 17-20h
subota 10.03.2017. vreme: 10-14h
petak 16.03.2018. vreme: 17-20h
subota 17.03.2018. vreme: 10-14h

i dalje po dogovoru.

Mesto održavanja: Nastavni blok FTN, III sprat, laboratorija 305.
Sve nove informacije u vezi sa predmetom su na stranici: https://sites.google.com/site/logikauracunarstvu/home
Informacije u vezi sa modulima su na stranici: http://imft.ftn.uns.ac.rs/~silvia/Teaching

Prof.dr Silvia Gilezan