Line 5: Line 5:
 
   | section  = Oddelenie deklaratívneho programovania
 
   | section  = Oddelenie deklaratívneho programovania
 
   | position = učiteľ
 
   | position = učiteľ
   | phone    = (+421 2 602 95) 869
+
   | phone    = (+421 2 602 95) 374
   | room    = i34
+
   | room    = i33b
 
   | 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]

Revision as of 16:16, 22 September 2009

Ján Kľuka

Ján Kľuka
Meno: Mgr. Ján Kľuka
učiteľ
Oddelenie: Oddelenie deklaratívneho programovania
Telefón: (+421 2 602 95) 374
Email: kluka@fmph.uniba.sk
Miestnosť: i33b
Adresa: Mgr. Ján Kľuka
Katedra aplikovanej informatiky
FMFI UK
Mlynská dolina
824 48 Bratislava
Web: homepage

Výučba

Výskum

  • declarative programming techniques & implementation
  • logic
  • theorem proving

Publikácie