Předměty
- Úvod do programováníALG110006 | Filozofická fakulta
- Úvod do programovaníALG110028 | Filozofická fakulta
- Algoritmy a programovací technikyALG110029 | Filozofická fakulta
- Teorie modelůALG500009 | Filozofická fakulta
- Úvod do Programování pro nelogikyALGV00025 | Filozofická fakulta
- Úvod do obecné topologieALGV00048 | Filozofická fakulta
- Pokročilá témata z programováníALGV00106 | Filozofická fakulta
- Úvod do programování pro nelogikyALGV00107 | Filozofická fakulta
- Deskriptivní teorie množinALGV00119 | Filozofická fakulta
Publikace
- Joint Prague-Vienna LogicPublikace bez příslušnosti k fakultě
- Completely separably MAD families and the modal logic of $\beta\omega$2022 | Filozofická fakulta
- PyVallex: Nástroj pro zpracování dat valenčních slovníků2020 | Matematicko-fyzikální fakulta
- Set-Theoretic Blockchains2019 | Matematicko-fyzikální fakulta, Filozofická fakulta
- Nesystémové valenční chování českých deverbativních substantiv na základě slovníku NomVallex2019 | Matematicko-fyzikální fakulta, Filozofická fakulta
- Non-systemic valency behavior of Czech deverbal nouns based on the NomVallex lexicon2019 | Matematicko-fyzikální fakulta, Filozofická fakulta
- Chains of P-points2019 | Filozofická fakulta
- Towers in Filters, Cardinal Invariants and Luzin Type Families2018 | Filozofická fakulta
- A lifting argument for generalized Gregorieff forcing2016 | Filozofická fakulta
- Gδ AND CO-MEAGER SEMIFILTERS2016 | Filozofická fakulta
Loading network view...