Po 9:00 - 10:30 (2 v.hod.) M-XI Prednáška 2-AIN-144 Reprezentácia znalostí a inferencia J. Pukancová Po 10:40 - 12:10 (2 v.hod.) M-XI Cvičenie 2-AIN-144 Reprezentácia znalostí a inferencia J. Pukancová, M. Homola Ut 13:10 - 14:40 (2 v.hod.) I-H6 Cvičenie 1-AIN-412 Logika pre informatikov J. Pukancová, I. Bečková, J. Boborová, J. Kľuka Ut 13:10 - 14:40 (2 v.hod.) I-H3 Cvičenie 1-AIN-412 Logika pre informatikov J. Pukancová, I. Bečková, J. Boborová, J. Kľuka