[NAIL076] Logické programování I - Zk 12. 2. 2014

Co se jinam nevejde

[NAIL076] Logické programování I - Zk 12. 2. 2014

Příspěvekod IvanHoe » 12. 2. 2014 11:18

Zkouška z LP1 s Janem Hricem.

Pán Hric rozdal otázky, na vypracování bylo půl hodiny, pak si ke každému sedal a diskutovali nad tím.

1) Unifikační algoritmus - ten jsem perfektně popsal, pak mu ústně popsal, proč to funguje (skoro důkaz)
2) Vyřešená soustava rovností - napsal jsem definici
3) Lifting derivací - zde jsem napsal definici liftu derivace (avšak špatně poslední podmínku) + větu Propagace instancí (bez důkazu)

Celkem pohodová zkouška, měl jsem štěstí na otázky. Pán Hric je hodný, avšak je potřeba něco umět.
IvanHoe
Matfyz(ák|ačka) level I
 
Příspěvky: 8
Registrován: 21. 5. 2010 17:04
Typ studia: Informatika Bc.
Login do SIS: KUCKIRIV

Zpět na Ostatní

Kdo je online

Uživatelé procházející toto fórum: Žádní registrovaní uživatelé a 1 návštěvník

cron