Katedra aplikovanej informatiky

Ján Kľuka

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

Výučba

• Úvod do deklaratívneho programovania
• Deklaratívne programovanie webovských aplikácií

Výskum

• techniky a implemetácia deklaratívneho programovania
• klasická logika, teória a zložitosť dôkazov
• automatické dokazovanie
• deskripčné logiky

Publikácie

• viď homepage

---

Zodpovedný/á za stránky:

• Box
• Declarative_Programming_of_Web_Applications
• DP_Group
• Jan_Kluka
• Link
• Master_program_in_Applied_Informatics_2010--2015
• NewsItem