St	14:50 - 16:20	 (2 v.hod.) 	I-H6	Cvičenie	1-AIN-412	Matematika (4)  - Logika pre informatikov	J. Šiška, J. Kľuka
Št	18:10 - 19:40	 (2 v.hod.) 	I-H6	Cvičenie	1-AIN-412	Matematika (4)  - Logika pre informatikov	J. Šiška
Št	18:10 - 19:40	 (2 v.hod.) 	I-H6	Cvičenie	1-INF-210	Úvod do matematickej logiky	R. Lukoťka, J. Šiška, J. Mazák