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