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

Co se jinam nevejde
IvanHoe
Matfyz(ák|ačka) level I
Příspěvky: 8
Registrován: 21. 5. 2010 18:04
Typ studia: Informatika Bc.

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

Příspěvek od IvanHoe »

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.
Odpovědět

Zpět na „Ostatní“