(+Mat4-LPI) |
(Pridane programovanie v op. sys. do vyucby) |
||
| Line 14: | Line 14: | ||
* [[Course:Mathematics 4|Matematika (4) – Logika pre informatikov]] | * [[Course:Mathematics 4|Matematika (4) – Logika pre informatikov]] | ||
* [[Answer Set Programming|Logické programovanie ASP]] | * [[Answer Set Programming|Logické programovanie ASP]] | ||
| − | + | * [http://dai.fmph.uniba.sk/~siska/osprog/ Programovanie v operačných systémoch] | |
=== Výskum === | === Výskum === | ||
* knowledge representation, [[KR_Group]] | * knowledge representation, [[KR_Group]] | ||
Revision as of 18:49, 1 November 2016
Jozef Šiška
|
|
Výučba
- Matematika (4) – Logika pre informatikov
- Logické programovanie ASP
- Programovanie v operačných systémoch
Výskum
- knowledge representation, KR_Group
- logic programming, answer set programming