Desátá lekce ukazuje běžné induktivní důkazové techniky pro algoritmy ve formulaci na našem deklarativním jazyce, který se k formálním důkazům velice dobře hodí. Prim zde hraje matematická indukce a různé pomocné triky pro její aplikaci.

Učte se v našem deklarativním jazyce psát základní i složitější algoritmy, neboť to také bude třeba ke zkouškám. Předložené příklady jednak zkoušejí, nakolik rozumíte vyhodnocovacím pravidlům našeho DJ i principům algoritmické rekurze, za druhé je velký důraz kladen na schopnost psát vlastní zcela přesné algoritmy v našem DJ. Na onu přesnost se zaměřte především, neboť ohodnocení vámi zapsaných deklarací se zaměřuje právě na správnost výsledku za všech okolností, i pro okrajové vstupy. I na zkoušce potom bude za správnou deklaraci uznána jen ta, co funguje naprosto přesně správně, neboli "přece téměř správná" deklarace je stejně špatná jako ta úplně chybná.

Následující starší diskusní vlákna by vám mohla pomoci se vypořádat s látkou a příklady této lekce.