Ut	13:10 - 14:40	 (2 v.hod.) 	I-H6	Cvičenie	1-AIN-412	Logika pre informatikov	J. Pukancová, I. Bečková, J. Boborová, J. Kľuka
Ut	13:10 - 14:40	 (2 v.hod.) 	I-H3	Cvičenie	1-AIN-412	Logika pre informatikov	J. Pukancová, I. Bečková, J. Boborová, J. Kľuka