Ut	14:50 - 16:20 (2 v.hod.) F1-328	Cvičenie	1-AIN-412	Matematika (4) - Logika pre informatikov	J. Pukancová
St	9:50 - 11:20 (2 v.hod.) F1-108	Prednáška	2-AIN-144	Reprezentácia znalostí a inferencia	J. Pukancová, M. Homola
St	14:50 - 16:20 (2 v.hod.) M-XI	Cvičenie	2-AIN-144	Reprezentácia znalostí a inferencia	J. Pukancová