Ing. Ján Komara, PhD.
lektor
Katedra aplikovanej informatiky
Fakulta matematiky, fyziky a informatiky UK
Univerzita Komenského v Bratislave
Mlynská dolina F1
842 48 Bratislava
Slovakia
Vybrané publikácie
- Komara, J. Efficient elimination of Skolem functions in LKʰ. Arch. Math. Logic 61 , 503–534 (2022). https://doi.org/10.1007/s00153-021-00798-z https://app.crepc.sk/?fn=detailBiblioForm&sid=2B6C9B3B6E03D6F406A30DBAFD
- Komara, J. Efficient elimination of Skolem functions in LKh. arXiv.org (2020), Art. No. ArXiv:1909.01697. https://arxiv.org/abs/1909.01697 https://app.crepc.sk/?fn=detailBiblioForm&sid=66C74FF48D413BFF4FDC3EA132
- Ján Komara. On completeness of Hausdorff hyperspaces. arXiv.org (2025), Art. No. ArXiv:2505.06571. https://arxiv.org/abs/2025.06571
Rozvrh
| Deň | Čas | Miestnosť | Forma | Predmet | Vyučujúci | ||
|---|---|---|---|---|---|---|---|
| po | 09:00 - 10:30 | A | Prednáška | 1-AIN-121 | Diskrétna matematika (1) | J. Komara, I. Bečková | |
| ut | 11:30 - 13:00 | M-II | Cvičenie | 1-AIN-121 | Diskrétna matematika (1) | J. Komara | |
| št | 11:30 - 13:00 | M-X | Kurz | 1-AIN-121 | Diskrétna matematika (1) | J. Komara | |