Po 11:30 - 13:00 (2 v.hod.) Prednáška 1-AIN-412 Matematika (4) - Logika pre informatikov J. Kľuka Ut 14:50 - 16:20 (2 v.hod.) Cvičenie 1-AIN-412 Matematika (4) - Logika pre informatikov J. Kľuka St 14:50 - 16:20 (2 v.hod.) Cvičenie 1-AIN-412 Matematika (4) - Logika pre informatikov J. Kľuka St 16:30 - 18:00 (2 v.hod.) Cvičenie 1-AIN-412 Matematika (4) - Logika pre informatikov J. Kľuka