Po 14:00 - 15:30 (2 v.hod.) I-23 Seminár Akademické podporné centrum J. Pukancová, T. Jajcayová St 11:30 - 13:00 (2 v.hod.) F1-328 Cvičenie Reprezentácia znalostí a inferencia J. Pukancová St 14:00 - 15:30 (2 v.hod.) M-XII Cvičenie Matematika (4) - Logika pre informatikov J. Pukancová