(New page: {{Person | fullname = Mgr. Ján Kľuka | caption = Ján Kľuka | image = | section = Oddelenie deklaratívneho programovania | position = učiteľ | phone = (+421 2 60...)
 
(Courses updated)
 
(10 intermediate revisions by 3 users not shown)
Line 1: Line 1:
 
{{Person
 
{{Person
   | fullname = Mgr. Ján Kľuka
+
   | fullname = Mgr. Ján Kľuka, PhD.
 
   | caption  = Ján Kľuka
 
   | 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
 
   | email    = kluka[[Image:zavinac.gif|@]]fmph.uniba.sk
 
   | web      = [http://ii.fmph.uniba.sk/~kluka/ homepage]
 
   | 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>
+
-->
+

Latest revision as of 16:18, 20 February 2017

Ján Kľuka

Ján Kľuka
Name: Mgr. Ján Kľuka, PhD.
teacher
Section: Section of Declarative Programming
Phone: +421 2 602 95 727
Email: kluka@fmph.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

Teaching

Research

  • declarative programming techniques & implementation
  • logic
  • theorem proving
  • description logics

Publications