Po	9:50 - 12:05	 (3 v.hod.) 	M-IX	Prednáška	2-INF-123	Formálna sémantika a teória správnosti	I. Prívara