Jan Kluka/sk: Rozdiel medzi revíziami
(Aktualizacia miestnosti a klapky) |
(Aktualizácia výučby) |
||
| (3 medziľahlé úpravy od rovnakého používateľa.) | |||
| Riadok 12: | Riadok 12: | ||
=== Výučba === | === Výučba === | ||
| − | * [[ | + | * [[Course:Mathematics 4|Matematika (4) – Logika pre informatikov]] |
| − | * [ | + | * [http://sluzby.fmph.uniba.sk/infolist/sk/2-AIN-111.html Webové technológie a metodológie] |
=== Výskum === | === Výskum === | ||
Aktuálna revízia z 20:44, 22. február 2016
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: