Po 9:50 - 11:20 (2 v.hod.) M-VI Prednáška 2-AIN-144 Reprezentácia znalostí a inferencia J. Pukancová, M. Homola St 9:50 - 11:20 (2 v.hod.) I-H6 Cvičenie 1-AIN-412 Logika pre informatikov J. Pukancová, A. Šimko, M. Homola, I. Bečková, J. Kľuka St 11:30 - 13:00 (2 v.hod.) I-H3 Cvičenie 1-AIN-412 Logika pre informatikov J. Pukancová, A. Šimko, M. Homola, I. Bečková, J. Kľuka Št 14:00 - 15:30 (2 v.hod.) M-VII Cvičenie 2-AIN-144 Reprezentácia znalostí a inferencia J. Pukancová, M. Homola, P. Anthony Št 16:30 - 17:15 (1 v.hod.) B Seminár 1-AIN-232 Ročníkový projekt a úvod do bakalárskej práce D. Gruska, J. Pukancová, P. Štancelová