St	8:10 - 9:40	 (2 v.hod.) 	A	Prednáška	1-AIN-412	Logika pre informatikov	(Náhradný termín pre prednášku) J. Mazák, J. Kľuka
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	9:50 - 11:20	 (2 v.hod.) 	F1-248	Labák	1-AIN-412	Logika pre informatikov	J. Šiška, A. Šimko, J. Kľuka
Št	13:10 - 14:40	 (2 v.hod.) 	I-H3	Labák	1-AIN-412	Logika pre informatikov	J. Šiška, A. Šimko, J. Kľuka
Št	14:50 - 16:20	 (2 v.hod.) 	I-H3	Labák	1-AIN-412	Logika pre informatikov	J. Šiška, A. Šimko, J. Kľuka