od petrroll » 15. 6. 2018 16:08
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/2YKJyt81) 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