St	14:50 - 16:20	 (2 v.hod.) 	I-H6	Cvičenie	1-AIN-412	Matematika (4) - Logika pre informatikov	J. Šiška, V. Kocur, J. Kľuka
St	16:30 - 18:00	 (2 v.hod.) 	I-H6	Cvičenie	1-AIN-412	Matematika (4) - Logika pre informatikov	J. Šiška, J. Kľuka