[NAIL077] Logické programování 2 (Hric, 15. 6. 2018)

Uživatelský avatar
petrroll
Matfyz(ák|ačka) level I
Příspěvky: 12
Registrován: 23. 5. 2015 22:27
Typ studia: Informatika Bc.

[NAIL077] Logické programování 2 (Hric, 15. 6. 2018)

Příspěvek od petrroll »

1) Charakteristika M(P) nejmenšího Herbrantova modelu.

2) Popsat rekurzivní programy, zastavování. Idea vylepšení na akceptovatelnost.

3) Specifikace predikátů (...už nepřečtu...) i v SVD derivaci. Jak se projeví, když je specifikace špatně (silná / slabá).

Pak Hric byl velmi hodný, napsal jsem co jsem napsal (viz níže), na pár drobností se zeptal, dostal jsem za 1.

https://imgur.com/a/2YKJyt8
Odpovědět

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