Katedra aplikovanej informatiky

Ján Komara

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

Výučba

• 1-AIN-120 Diskrétna matematika 1
• 1-AIN-625 Úvod do matematickej logiky pre programátorov
• 1-AIN-470 Špecifikácia a verifikácia programov
• 1-INF-465 Deklaratívne programovanie
• 1-INF-450 Logika pre informatikov
• 2-INF-121 Teória vypočítateľnosti

Výskum

• chýba

Publikácie

• chýbajú

---

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