Ut 8:10 - 9:40 (2 v.hod.) M-II Prednáška Reprezentácia, poznatky a usudzovanie A. Šimko
Ut 8:10 - 9:40 (2 v.hod.) M-II Prednáška Reprezentácia znalostí a inferencia A. Šimko
St 15:40 - 17:10 (2 v.hod.) I-H6 Cvičenie Úvod do výpočtovej logiky A. Šimko, J. Šiška