Mgr. Jan Pavlík, Ph.D. |
| |
Vzdělání a akademická kvalifikace
- 2002, Mgr., Fakulta přírodovědecká MU v Brně, obor Odborná matematika
- 1997, - , Střední průmyslová škola chemická v Brně, obor Analytická chemie
- 1992, - , ZŠ Plovdivská, Brno
|
Přehled zaměstnání
- 2005-dosud, asistent, Ústav matematiky FSI VUT v Brně
|
Pedagogická činnost
- výuka v rámci DSP na Přírodovědecké fakultě MU: cvičení ze základů matematiky, lineární algebry, algebry
|
Vědeckovýzkumná činnost
- Diplomová práce: Moritova ekvivalence pro uspořádané struktury
|
Mimouniverzitní aktivity
- 2000-dosud, člen komise při celostátní přehlídce Středoškolské odborné činnosti, obor Matematika a matematická informatika
|
Vybrané publikace:
- PAVLÍK, J.:
On Reiterman Conversion, Laboratiire d'Informatique Fondamentale de Marseill
konferenční sborník (ne článek)
- PAVLÍK, J.:
Free algebras in varieties,
Archivum Mathematicum, Vol.46, (2010), No.1, pp.25-38, ISSN 1212-5059, Masarykova univerzita
článek v časopise - ostatní, Jost
- PAVLÍK, J.:
Varieties Defined without Colimits,
Proceedings of the 7th Panhellenic Logic Symposium, pp.142-146, ISBN 978-960-530-108-8, (2009), Patras University Press
článek ve sborníku ve WoS nebo Scopus
akce: 7th Panhellenic Logic Symposium, Patras, 15.07.2009-19.07.2009
- PAVLÍK, J.:
Modules of Ordered Multiplicative Structures,
Journal of Electrical Engineering
, Vol.56, (2006), No.12/S, pp.73-76, ISSN 1335-3632, Slovak Centra of IEE
článek v časopise - ostatní, Jost
Seznam publikací na portálu VUT
- PAVLÍK, J.:
Free algebras in varieties,
Archivum Mathematicum, Vol.46, (2010), No.1, pp.25-38, ISSN 1212-5059, Masarykova univerzita
článek v časopise - ostatní, Jost
Pomocí dvojic přirozených transformací definujeme variety algeber pro libovolný endofunktor na kokompletní kategorii. Je tu dokázáno, že tento přístup je rovnocenný s popisem pomocí rovnicových šipek. Studujeme volné algebry ve varietách je dokázána jejich existence za předpokladů dosažitelnosti identit.
- PAVLÍK, J.:
Varieties Defined without Colimits,
Proceedings of the 7th Panhellenic Logic Symposium, pp.142-146, ISBN 978-960-530-108-8, (2009), Patras University Press
článek ve sborníku ve WoS nebo Scopus
akce: 7th Panhellenic Logic Symposium, Patras, 15.07.2009-19.07.2009
Definujeme polymerické variety funktorových algeber jako analogie variet funktorových algeber na kokompletních kategoriích a ukazujeme, že tyto přístupy jsou rovnocenné. Dokazujeme, že každá varieta definována množinou identit je konkrétně izomorfní polymerické varietě algeber vhodného funktoru. Pomocí tohoto výsledku získáváme alternativní popis Eilenbergovy-Moorovy kategorie pro volnou monádu.
- PAVLÍK, J.:
Modules of Ordered Multiplicative Structures,
Journal of Electrical Engineering
, Vol.56, (2006), No.12/S, pp.73-76, ISSN 1335-3632, Slovak Centra of IEE
článek v časopise - ostatní, Jost
Práce pojednává o idempotentních polookruzích, které se zde nazývají uspořádanými strukturami s násobením (OM-struktury). Zabýváme se jejich moduly. Cílem práce je vytvořit základy pro následný výzkum v oblasti Moritovy ekvivalence těchto struktur.