Verzia zo dňa a času 20:11, 22. február 2024

Ján Komara

Meno: Ing. Ján Komara, PhD. učiteľ Oddelenie: Oddelenie deklaratívneho programovania Telefón: (+421 2 602 95) 727 Email: komarafmph.uniba.sk Miestnosť: I-16 Adresa: Ing. Ján Komara, PhD. Katedra aplikovanej informatiky FMFI UK Mlynská dolina 824 48 Bratislava Web: homepage

Výučba

• 1-AIN-121 Diskrétna matematika (1)
• 1-AIN-188 Matematická analýza
• 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-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-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