Jan Kluka/sk: Rozdiel medzi revíziami

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

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

Zodpovedný/á za stránky:

@@ Riadok 1: / Riadok 1: @@
 {{Osoba
-   | fullname = Mgr. Ján Kľuka
+   | fullname = Mgr. Ján Kľuka, PhD.
    | caption  = Ján Kľuka
    | image    = kluka.jpg
    | section  = Oddelenie deklaratívneho programovania
    | 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
    | web      = [http://ii.fmph.uniba.sk/~kluka/ homepage]
@@ Riadok 12: / Riadok 12: @@
 === 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 ===
-* 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 ===
 * viď [http://ii.fmph.uniba.sk/~kluka/ homepage]
 }}