Fórum studentů MFF UK

Zkouška probíhá na chodbě u stolečků ve třetím patře.
Každej dostane 3 otázky.

Moje byly:
1. Unifikační algoritmus a jeho důkaz konečnosti. (Třetí pdf, strany 20 - 24.)
2. Definice liftu derivace. (Páté pdf, strana 16.)
3. Věta o nezávislosti na volbě výběrového pravidla. Znění a důkaz a proč je ve znění důležité, že je derivace úspěšná. (Šesté pdf, strany 13 - 16.)

Hric je hodnej a chce s člověkem k tomu řešení dojít. Většina lidí odejde nejhůř s dvojkou.

Pro ty, co nechodili na přednášku jako já, většinou to dopřednáší do šestého Štěpánkova pdfka.

Zkouška 5.2.19:
1) Unifikační algoritmus + korektnost
2) Rezultanta, co to je a k čemu je dobrá.
3) Nezávislost na výběrovém pravidle.

Kolega měl lift, switching a u unifikačního algoritmu tuším správnost.

Pan Hric je moc hodný a snažím se Vám v tom pomoct.