Jan Kluka/sk: Rozdiel medzi revíziami
(Aktualizacia miestnosti a klapky) |
|||
| Riadok 5: | Riadok 5: | ||
| section = Oddelenie deklaratívneho programovania | | section = Oddelenie deklaratívneho programovania | ||
| position = učiteľ | | position = učiteľ | ||
| − | | phone = (+421 2 602 95) | + | | 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] | ||
| Riadok 16: | Riadok 16: | ||
=== Výskum === | === Výskum === | ||
| − | * | + | * techniky a implemetácia deklaratívneho programovania |
| − | * | + | * klasická logika, teória a zložitosť dôkazov |
| − | * | + | * automatické dokazovanie |
| + | * deskripčné logiky | ||
=== Publikácie === | === Publikácie === | ||
* viď [http://ii.fmph.uniba.sk/~kluka/ homepage] | * viď [http://ii.fmph.uniba.sk/~kluka/ homepage] | ||
}} | }} | ||
Verzia zo dňa a času 09:17, 12. december 2014
Ján Kľuka
|
|
Výučba
Výskum
- techniky a implemetácia deklaratívneho programovania
- klasická logika, teória a zložitosť dôkazov
- automatické dokazovanie
- deskripčné logiky
Publikácie
- viď homepage
Zodpovedný/á za stránky: