Teaching
Consulting hours
Thursday, 12:30-13:30, B/A219 (Božetěchova 1/2, Brno 61200)
Lectured courses
| IZLO |
Introduction to Logic for Computer Science
Exercise, Project, Czech, summer, DITS |