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 informatikyFMFI UKMlynská dolina824 48 Bratislava Web: homepage Výučba Matematika (4) – Logika pre informatikov Webové technológie a metodológie 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 Revízia z 21:44, 22. február 2016; Kluka (Diskusia | príspevky) (rozdiel) ← Staršia verzia | Aktuálna úprava (rozdiel) | Novšia verzia → (rozdiel) Kategória: Oddelenie deklaratívneho programovania