Po	11:30 - 13:00	 (2 v.hod.) 	B	Kurz	1-INF-210	Úvod do matematickej logiky	J. Mazák, J. Kľuka
Po	11:30 - 13:00	 (2 v.hod.) 	B	Prednáška	1-AIN-412	Logika pre informatikov	J. Mazák, J. Kľuka
St	11:30 - 13:00	 (2 v.hod.) 	F1-109	Cvičenie	1-INF-616	Matematická propedeutika (2)	J. Mazák, J. Rajník
St	14:00 - 15:30	 (2 v.hod.) 	M-VII	Prednáška	2-INF-114	Matematická logika	R. Lukoťka, J. Mazák
Št	13:10 - 15:25	 (3 v.hod.) 	F1-109	Kurz	1-INF-210	Úvod do matematickej logiky	R. Lukoťka, J. Mazák