Po	9:00 - 10:30	 (2 v.hod.) 	B	Prednáška	1-AIN-412	Matematika (4)  - Logika pre informatikov	J. Mazák, J. Kľuka
Po	9:00 - 10:30	 (2 v.hod.) 	B	Prednáška	1-INF-210	Úvod do matematickej logiky	J. Mazák, J. Kľuka
Ut	16:30 - 18:00	 (2 v.hod.) 	F1-247	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	J. Šiška, J. Kľuka
Št	13:10 - 14:40	 (2 v.hod.) 	 	Cvičenie	1-AIN-412	Matematika (4)  - Logika pre informatikov	(I-7/online súčasne) J. Pukancová, M. Homola, J. Kľuka