(Aktualizácia výučby)
 
(5 intermediate revisions by the same user not shown)
Riadok 1: Riadok 1:
 
{{Osoba
 
{{Osoba
   | fullname = Mgr. Ján Kľuka
+
   | fullname = Mgr. Ján Kľuka, PhD.
 
   | caption  = Ján Kľuka
 
   | caption  = Ján Kľuka
 
   | image    = kluka.jpg
 
   | image    = kluka.jpg
 
   | section  = Oddelenie deklaratívneho programovania
 
   | section  = Oddelenie deklaratívneho programovania
 
   | position = učiteľ
 
   | position = učiteľ
   | phone    = (+421 2 602 95) 374
+
   | phone    = (+421 2 602 95) 727
   | room    = i33b
+
   | room    = I-16
 
   | email    = kluka[[Image:zavinac.gif|@]]fmph.uniba.sk
 
   | email    = kluka[[Image:zavinac.gif|@]]fmph.uniba.sk
 
   | web      = [http://ii.fmph.uniba.sk/~kluka/ homepage]
 
   | web      = [http://ii.fmph.uniba.sk/~kluka/ homepage]
Riadok 12: Riadok 12:
  
 
=== Výučba ===
 
=== Výučba ===
* [[Introduction to Declarative Programming|Úvod do deklaratívneho programovania]]
+
* [[Course:Mathematics 4|Matematika (4) – Logika pre informatikov]]
* [[Declarative Programming of Web Applications|Deklaratívne programovanie webovských aplikácií]]
+
* [http://sluzby.fmph.uniba.sk/infolist/sk/2-AIN-111.html Webové technológie a metodológie]
  
 
=== Výskum ===
 
=== Výskum ===
* declarative programming techniques & implementation
+
* techniky a implemetácia deklaratívneho programovania
* logic
+
* klasická logika, teória a zložitosť dôkazov
* theorem proving
+
* automatické dokazovanie
 +
* deskripčné logiky
  
 
=== Publikácie ===
 
=== Publikácie ===
 
* viď [http://ii.fmph.uniba.sk/~kluka/ homepage]
 
* viď [http://ii.fmph.uniba.sk/~kluka/ homepage]
 
}}
 
}}

Aktuálna revízia z 20:44, 22. február 2016

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