Jan Kluka/en: Rozdiel medzi revíziami
(Aktualizacia miestnosti a klapky) |
|||
| (8 medziľahlých úprav od 3 ďalších používateľov nie je zobrazených) | |||
| 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 === |
| + | * [[Introduction to Declarative Programming]] | ||
| + | * [[Declarative Programming of Web Applications]] | ||
| + | |||
| + | === Research === | ||
* declarative programming techniques & implementation | * declarative programming techniques & implementation | ||
* logic | * logic | ||
* theorem proving | * theorem proving | ||
| + | * description logics | ||
| − | === | + | === Publications === |
| − | * | + | * see [http://ii.fmph.uniba.sk/~kluka/ homepage] |
| − | + | }} | |
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
Aktuálna revízia z 10:15, 12. december 2014
Ján Kľuka
|
|
Teaching
Research
- declarative programming techniques & implementation
- logic
- theorem proving
- description logics
Publications
- see homepage