Logické programování I - ZK 4.2.2015
Napsal: 5. 2. 2015 10:58
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.
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.