Verzia zo dňa a času 10:52, 25. september 2015

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 Matematika (1) - Úvod do matematického myslenia
• 1-AIN-160 Matematika (3) - Diskrétna matematika
• 1-AIN-470 Špecifikácia a verifikácia programov
• 2-INF-265 Deklaratívne programovanie
• 2-INF-264 Teória deklaratívneho programovania

Predošlá výučba (do AR 2014/15)

• 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