Kalendář
Informatický seminář
29. 05. 2018, 11:30 - 12:30Tomáš Masopust (Matematický ústav AV ČR, Brno): Verification of opacity and detectability for automata and Petri nets. Seminář se koná v místnosti 5.073.
Sportovní den UP - 5. ročník Memoriálu Jiřího Hronka
09. 05. 2018, 08:00 - 19:00Podrobnosti naleznete na webu memoriálu.
Informatický seminář
19. 04. 2018, 11:30 - 12:30Petr Jančar (UP Olomouc): A short decidability proof for equivalence of deterministic pushdown automata. Seminář se koná v místnosti 5.073.
Informatický seminář
12. 04. 2018, 11:30 - 12:30Radim Bělohlávek (UP Olomouc): Fuzzy Logic and Mathematics: A Historical Perspective II. Seminář se koná v místnosti 5.073.
Informatický seminář
29. 03. 2018, 11:30 - 12:30Radim Bělohlávek (UP Olomouc): Fuzzy Logic and Mathematics: A Historical Perspective I. Seminář se koná v místnosti 5.073.
Výuka v letním semestru
12. 02. 2018, 08:00 - 13. 05. 2018 - 18:50
Akademický rok
Semestr
Kategorie