Charakteristika M(P) nejmenšího Herbrantova modelu.
Popsat rekurzivní programy, zastavování. Idea vylepšení na akceptovatelnost.
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.