Po	9:50 - 11:20	 (2 v.hod.) 	B	Prednáška	1-AIN-412	Logika pre informatikov	J. Mazák, J. Kľuka
Po	9:50 - 11:20	 (2 v.hod.) 	B	Prednáška	1-INF-210	Úvod do matematickej logiky	J. Mazák, J. Kľuka
Ut	13:10 - 14:40	 (2 v.hod.) 	I-H6	Cvičenie	1-AIN-412	Logika pre informatikov	M. Homola, J. Boborová, J. Pastorek, J. Kľuka
Ut	16:30 - 18:00	 (2 v.hod.) 	I-H6	Cvičenie	1-AIN-412	Logika pre informatikov	A. Šimko, I. Bečková, J. Boborová, J. Kľuka
St	9:00 - 9:45	 (1 v.hod.) 	I-23	Seminár		Seminár	(Matfyz-team seminár) M. Homola, R. Hrušecký, Z. Kubincová, J. Kľuka
St	14:50 - 16:20	 (2 v.hod.) 	I-H6	Cvičenie	1-AIN-412	Logika pre informatikov	A. Šimko, J. Kľuka
St	16:30 - 18:00	 (2 v.hod.) 	I-H6	Cvičenie	1-AIN-412	Logika pre informatikov	A. Šimko, J. Kľuka
Št	13:10 - 14:40	 (2 v.hod.) 	I-9	Kurz	1-AIN-412	Logika pre informatikov	(konzultácia) I. Bečková, J. Kľuka