Logické Programování I(Hric, 25.6.2015)

guthro
Matfyz(ák|ačka) level I
Příspěvky: 10
Registrován: 12. 4. 2013 10:07
Typ studia: Informatika Bc.

Logické Programování I(Hric, 25.6.2015)

Příspěvek od guthro »

Zkouška u kabinetu, 3 otázky, zhruba hodina na přípravu na papír, pak nás pan profesor obcházel. U každého se zdržel, takže při termínech s více lidmi může trvat déle.
Orázky- Unifikační algoritmus+správnost.
Rezultanty přiřazené k SLD derivací, definice a jak vrací odpovědi.
Nezávislost rezoluce na výběrovém pravidle.
Před třetí otázkou se mě ptal, jestli jsem se učil nějaký operátor, řekl jsem že jsem se to učil po korektnost a úplnost SLD rezoluce, tak mi dal ta výběrová pravidla.

Algoritmus jsem popsal MM+ ty čtyři lemmata a nějaké definice a věty k tomu, důkazy nebyly nikde potřeba (měl jsem tam idey důkazů,ale prošlo by to asi i bez toho).
Vyplatilo se mi vypsat si všechny definice a věty ze slajdů na papír, vypsal jsem si i důkazy, což mi pomohlo pochopit smysl některých vět, ale nebyl jsem s to si je zapamatovat.
Hodně štěstí.
Odpovědět

Zpět na „I1 Ostatní Teoretická informatika“