(Nove konzultacne) |
(Update vyucby) |
||
Riadok 15: | Riadok 15: | ||
* [[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]] | ||
− | * [ | + | * [[Course:OsProg|Programovanie v operačných systémoch]] |
+ | * [[Course:Embedded Linux|Embedded Linux]] | ||
+ | |||
=== Výskum === | === Výskum === | ||
* knowledge representation, [[KR_Group]] | * knowledge representation, [[KR_Group]] |
Verzia zo dňa a času 15:20, 9. november 2017
Jozef Šiška
|
Výučba
- Matematika (4) – Logika pre informatikov
- Logické programovanie ASP
- Programovanie v operačných systémoch
- Embedded Linux
Výskum
- knowledge representation, KR_Group
- logic programming, answer set programming