[NAIL076] Logické programování I - Zk 12. 2. 2014
Napsal: 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.
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.