Ut	16:30 - 18:00 (2 v.hod.) I-H6	Cvičenie	1-AIN-412	Matematika (4) - Logika pre informatikov	J. Šiška, P. Gergeľ