Po	11:30 - 13:00 (2 v.hod.) F2	Prednáška	1-AIN-412	Matematika (4) - Logika pre informatikov	J. Kľuka
Ut	13:10 - 14:40 (2 v.hod.) F1-328	Cvičenie	1-AIN-412	Matematika (4) - Logika pre informatikov	J. Kľuka
St	14:50 - 16:20 (2 v.hod.) I-H6	Cvičenie	1-AIN-412	Matematika (4) - Logika pre informatikov	V. Kocur, J. Kľuka