Po 10:40 - 12:10 (2 v.hod.) M-X Prednáška 2-AIN-144 Reprezentácia znalostí a inferencia J. Pukancová, M. Homola Ut 13:10 - 14:40 (2 v.hod.) I-9 Cvičenie 1-AIN-412 Matematika (4) - Logika pre informatikov J. Pukancová, J. Kľuka St 13:10 - 14:40 (2 v.hod.) M-VII Cvičenie 2-AIN-144 Reprezentácia znalostí a inferencia J. Pukancová, M. Homola