Aktuálna revízia z 16:18, 20. február 2017

Ján Kľuka

Name:		Mgr. Ján Kľuka, PhD.
		teacher
Section:		Section of Declarative Programming
Phone:		+421 2 602 95 727
Email:		klukafmph.uniba.sk
Office:		I-16
Address:		Mgr. Ján Kľuka, PhD. Department of Applied Informatics FMFI UK Mlynská dolina 824 48 Bratislava Slovakia
Web:		homepage

Responsible for pages:

@@ Riadok 1: / Riadok 1: @@
 {{Person
-   | fullname = Mgr. Ján Kľuka
+   | fullname = Mgr. Ján Kľuka, PhD.
    | caption  = Ján Kľuka
-   | image    =
+   | image    = kluka.jpg
-   | section  = Oddelenie deklaratívneho programovania
+   | section  = Section of Declarative Programming
-   | position = učiteľ
+   | position = teacher
-   | phone    = (+421 2 602 95) 869
+   | phone    = +421 2 602 95 727
-   | room     = i34
+   | room     = I-16
    | email    = kluka[[Image:zavinac.gif|@]]fmph.uniba.sk
    | web      = [http://ii.fmph.uniba.sk/~kluka/ homepage]
-}}
+  | info     =
-=== Výučba ===
-* ''chýba''
-=== Výskum ===
+=== Teaching ===
-* ''chýba''
+* [[Course:Mathematics 4|Mathematics (4) – Logic for Computer Science]]
+* [https://sluzby.fmph.uniba.sk/infolist/en/2-AIN-111_15.html Web Technologies and Methodology]
+* [https://sluzby.fmph.uniba.sk/infolist/en/1-AIN-510_15.html Linux – Principles and Means]
-=== Publikácie ===
+=== Research ===
-* ''chýbajú''
+* declarative programming techniques & implementation
+* logic
+* theorem proving
+* description logics
-<!--
+===   Publications ===
-=== ===
+* see [http://ii.fmph.uniba.sk/~kluka/ homepage]
-<div style="font-size:7pt;">
+}}
-----
-Zodpovedný za stránky:
-*
-</div>
--->