(Aktualizacia miestnosti a klapky)
(Courses updated)
 
Line 12: Line 12:
  
 
=== Teaching ===
 
=== Teaching ===
* [[Introduction to Declarative Programming]]
+
* [[Course:Mathematics 4|Mathematics (4) – Logic for Computer Science]]
* [[Declarative Programming of Web Applications]]
+
* [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]
  
 
=== Research ===
 
=== Research ===

Latest revision as of 15: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