Prechodová rozcvička
Martin Macák
Fakulta informatiky, Masarykova univerzita, Brno
Rozcvička
1. Čo je korektné?
2. Čo je ekvivalentné?