Ut 13:10 - 14:40 (2 v.hod.) M-I Cvičenie 1-AIN-412 Matematika (4) - Logika pre informatikov M. Homola St 9:50 - 11:20 (2 v.hod.) M-VIII Prednáška 2-AIN-144 Reprezentácia znalostí a inferencia J. Pukancová, M. Homola St 16:30 - 18:00 (2 v.hod.) M-VII Cvičenie 2-AIN-144 Reprezentácia znalostí a inferencia J. Pukancová, M. Homola Št 13:10 - 14:40 (2 v.hod.) Cvičenie 1-AIN-412 Matematika (4) - Logika pre informatikov (I-7/online súčasne) J. Pukancová, M. Homola, J. Kľuka