Hlavné menu
  1. KAI
  2. Ľudia
  3. Oddelenie deklaratívneho programovania

Ján Kľuka

Ján Kľuka – fotografia
Meno: Mgr. Ján Kľuka, PhD.
učiteľ
Oddelenie: Oddelenie deklaratívneho programovania
Telefón: (+421 2 602 95) 727
Email: kluka@fmph.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

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

Retrieved from "http://dai.fmph.uniba.sk/w?title=Jan_Kluka/sk&oldid=14709"
Revision as of 21:44, 22 February 2016 by Kluka (Talk | contribs) (Aktualizácia výučby)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)