RNDr. Miroslav Kolařík, Ph.D.
Činnost: | výzkumný pracovník |
Pracoviště: | Katedra informatiky |
E-mail: | miroslav.kolarik (at) upol.cz |
Telefon: | 585 634 706 |
Osobní stránky: | http://phoenix.inf.upol.cz/~kolarik/ |
Oblasti zájmu:
- matematická logika
- algebry neklasických logik
- uspořádané množiny
- teoretické základy informatiky