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

Odeslat odpověď

Smajlíci
:D :) :( :o :shock: :? 8) :lol: :x :P :oops: :cry: :evil: :twisted: :roll: :wink: :!: :?: :idea: :arrow: :| :mrgreen:

BBCode je zapnutý
[img] je zapnutý
[flash] je vypnutý
[url] je zapnuté
Smajlíci jsou zapnutí

Přehled tématu
   

Rozšířit náhled Přehled tématu: [NAIL076] Logické programování I - Zk 12. 2. 2014

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

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.

Nahoru