od 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.
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.