(Aktualizacia miestnosti a klapky) |
(Courses updated) |
||
Riadok 12: | Riadok 12: | ||
=== Teaching === | === Teaching === | ||
− | * [[ | + | * [[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] | ||
=== Research === | === Research === |
Aktuálna revízia z 16:18, 20. február 2017
Ján Kľuka
|
Teaching
- Mathematics (4) – Logic for Computer Science
- Web Technologies and Methodology
- Linux – Principles and Means
Research
- declarative programming techniques & implementation
- logic
- theorem proving
- description logics
Publications
- see homepage