Ján Komara
![]() |
|
Výučba
- 1-AIN-121 Matematika (1) - Úvod do matematického myslenia
- 1-AIN-120 Diskrétna matematika (1)
- 1-AIN-160 Diskrétna matematika (2)
- 1-AIN-505 Úvod do deklaratívneho programovania
- 1-AIN-625 Úvod do matematickej logiky pre programátorov
- 1-AIN-470 Špecifikácia a verifikácia programov
- 2-AIN-130 Teória vypočítateľnosti pre programátorov
- 1-INF-465 Deklaratívne programovanie
- 1-INF-450 Logika pre informatikov
- 2-INF-121 Teória vypočítateľnosti
Výskum
- matematická logika, formálna aritmetika
- teória rekurzívnych funkcií, teória vypočítateľnosti
- teória a prax deklaratívnych programovacích jazykov
- dokazovanie vlastností, špecifikácia a verifikácia programov
Publikácie
- dizertačná práca Špecifikácia a verifikácia programov v Peanovej aritmetike
- pozri iPortal Akademickej knižnice UK
- pozri tiež homepage