St	15:40 - 17:55 (3 v.hod.) M-XII	Prednáška	2-INF-123	Formálna sémantika a teória správnosti	I. Prívara