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 24.02.2017. vreme: 17-20h
subota 25.02.2017. vreme: 10-14h
petak 03.03.2017. vreme: 17-20h
subota 04.03.2017. vreme: 10-14h
i dalje po dogovoru.

Mesto održavanja: Nastavni blok FTN, III sprat, laboratorija 305 ili učionica 307.
Sve nove informacije u vezi sa predmetom su na stranici:

https://sites.google.com/site/logikauracunarstvu/home

Prof.dr Silvia Gilezan