Logické programování I - ZK 4.2.2015

Co se jinam nevejde
noox
Matfyz(ák|ačka) level I
Příspěvky: 8
Registrován: 28. 1. 2011 08:40
Typ studia: Informatika Bc.

Logické programování I - ZK 4.2.2015

Příspěvek od noox »

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.
regina
Matfyz(ák|ačka) level I
Příspěvky: 17
Registrován: 4. 6. 2014 12:36
Typ studia: Informatika Mgr.

Re: Logické programování I - ZK 4.2.2015

Příspěvek od regina »

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.
Odpovědět

Zpět na „Ostatní“