Julia Pukancova/sk: Rozdiel medzi revíziami
(+Mat4-LPI) |
|||
| (Jedna medziľahlá úprava od jedného ďalšieho používateľa nie je zobrazená) | |||
| Riadok 4: | Riadok 4: | ||
| image = pukancova.jpg | | image = pukancova.jpg | ||
| section = | | section = | ||
| − | | position = | + | | position = doktorandka |
| phone = | | phone = | ||
| room = I-7 | | room = I-7 | ||
| Riadok 11: | Riadok 11: | ||
| info = | | info = | ||
| − | + | == Výučba == | |
* [[Computational_Logic|Výpočtová logika]] | * [[Computational_Logic|Výpočtová logika]] | ||
* [[Knowledge Representation and Reasoning|Reprezentácia znalostí a inferencia]] | * [[Knowledge Representation and Reasoning|Reprezentácia znalostí a inferencia]] | ||
* [[Description_Logics_Ontologies_and_Semantics_Web|Deskripčné logiky, ontológie a sémantický web]] | * [[Description_Logics_Ontologies_and_Semantics_Web|Deskripčné logiky, ontológie a sémantický web]] | ||
| + | * [[Course:Mathematics 4|Matematika (4) – Logika pre informatikov]] | ||
| − | + | == Výskum == | |
* knowledge representation | * knowledge representation | ||
| − | + | == Publikácie == | |
}} | }} | ||
Aktuálna revízia z 22:27, 24. február 2016
Júlia Pukancová
|
|
Výučba
- Výpočtová logika
- Reprezentácia znalostí a inferencia
- Deskripčné logiky, ontológie a sémantický web
- Matematika (4) – Logika pre informatikov
Výskum
- knowledge representation