Riadok 45: | Riadok 45: | ||
* pozri [http://alis.uniba.sk:8000/cgi-bin/gw_49_3_8/chameleon?sessionid=2010040116113326631&skin=epc&lng=sk&inst=consortium&conf=.%2fchameleon.conf&host=158.195.4.49%2b9909%2bDEFAULT&sourcescreen=INITREQ&scant1=Komara&scanu1=1003&elementcount=1&t1=Komara&u1=1003&pos=1&itempos=1&rootsearch=SCAN&function=INITREQ&search=AUTHID&authid=87269&authidu=1003 iPortal Akademickej knižnice UK] | * pozri [http://alis.uniba.sk:8000/cgi-bin/gw_49_3_8/chameleon?sessionid=2010040116113326631&skin=epc&lng=sk&inst=consortium&conf=.%2fchameleon.conf&host=158.195.4.49%2b9909%2bDEFAULT&sourcescreen=INITREQ&scant1=Komara&scanu1=1003&elementcount=1&t1=Komara&u1=1003&pos=1&itempos=1&rootsearch=SCAN&function=INITREQ&search=AUTHID&authid=87269&authidu=1003 iPortal Akademickej knižnice UK] | ||
* pozri tiež [http://ii.fmph.uniba.sk/~komara/ homepage] | * pozri tiež [http://ii.fmph.uniba.sk/~komara/ homepage] | ||
+ | * pozri tiež [https://www.researchgate.net/profile/Jan_Komara Ján Komara on ResearchGate] | ||
}} | }} |
Verzia zo dňa a času 21:40, 23. august 2019
Ján Komara
|
Výučba
- 1-AIN-121 Matematika (1) - Úvod do matematického myslenia
- 1-AIN-188 Matematika (2) - Matematická analýza
- 1-AIN-160 Matematika (3) - Diskrétna matematika
- 1-AIN-470 Špecifikácia a verifikácia programov
- 2-AIN-285 Symbolické programovanie a LISP
- 2-AIN-266 Deklaratívne programovanie
Predošlá výučba
- 1-AIN-120 Diskrétna matematika (1)
- 1-AIN-160 Diskrétna matematika (2)
- 1-AIN-210 Algoritmy a dátové štruktúry
- 1-AIN-505 Úvod do deklaratívneho programovania
- 1-AIN-616 Symbolické programovanie a LISP
- 1-AIN-625 Úvod do matematickej logiky pre programátorov
- 1-INF-450 Logika pre informatikov
- 1-INF-465 Deklaratívne programovanie
- 2-INF-121 Teória vypočítateľnosti
- 2-INF-264 Teória deklaratívneho programovania
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
- pozri tiež Ján Komara on ResearchGate