OBSAH

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á.

Diskuse o látce