(Courses updated) |
|||
(8 intermediate revisions by 2 users not shown) | |||
Riadok 1: | Riadok 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 = | + | | section = Section of Declarative Programming |
− | | position = | + | | position = teacher |
− | | phone = | + | | phone = +421 2 602 95 727 |
− | | room = | + | | 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 = | |
+ | |||
=== 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 === | ||
Riadok 17: | Riadok 20: | ||
* logic | * logic | ||
* theorem proving | * theorem proving | ||
+ | * description logics | ||
=== Publications === | === Publications === | ||
− | * | + | * see [http://ii.fmph.uniba.sk/~kluka/ homepage] |
− | + | }} | |
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + |
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