Katedra aplikovanej informatiky

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

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

---

Zodpovedný/á za stránky:

• Introduction_to_Mathematical_Logic_for_Programmers
• Jan_Komara
• Mathematics_1_-_Introduction_to_Mathematical_Reasoning
• Specification_and_Verification_of_Programs
• Theory_of_Declarative_Programming