Po 9:50 - 11:20 (2 v.hod.) F1-328 Prednáška Úvod do diskrétnych štruktúr E. Toman Št 8:10 - 9:40 (2 v.hod.) F1-109 Prednáška Úvod do matematickej logiky E. Toman