Fakulta matematiky, fyziky a informatiky
Univerzity Komenského, Bratislava, Slovensko

Cesta: Menu > Štúdium > Zoznam predmetov

• Pre uchádzačov
• Bakalárske
• Magisterské
• Doktorandské
• Zoznam predmetov
• Harmonogram štúdia

Rola	prednáša
Učiteľ	RNDr. Igor Prívara, CSc.
Predmet	2-INF-123 Formálna sémantika a teória správnosti

List