Предавања из "Логике у рачунарству" и договор за модуле "Семантика програмских језика" и "Модели изврачунљивости" за студенте докторских студија ће бити одржана по распореду:  
петак 24.02.2017. време: 17-20h
субота 25.02.2017. време: 10-14h
петак 03.03.2017. време: 17-20h
субота 04.03.2017. време: 10-14h
и даље по договору.

Место одржавања: Наставни блок ФТН, III спрат, лабораторија 305 или учионица 307.
Све нове информације у вези са предметом су на страници:

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

Проф.др Силвиа Гилезан