Po 9:00 - 10:30 (2 v.hod.) M-VII Cvičenie Úvod do matematickej logiky L. Haviarová St 16:30 - 18:00 (2 v.hod.) F1-328 Cvičenie Úvod do diskrétnych štruktúr L. Haviarová