Osmá lekce navazuje na úvodní dvě lekce, tentokráte se začneme dívat na chování algoritmů a matematické dokazování jejich vlastností. (Dostáváme se tak blíže programátorské praxi, ale látka stále zůstává na vysoké formální úrovni...)

Cvičební příklady se nesou v podobném duchu, nejsou zde ani lehké, ani přehnaně obtížné. Nabízí se zatím dva jejich typy - na zjištění obecného výsledku výpočtu algoritmu a na rozhodnutí o zastavení předloženého algoritmu. Oba typy lze řešet mnoha různými postupy, na které ale musíte sami (či s pomocí diskuzních fór) přijít a vyzkoušet si. Snad se ze zkušeností s řešením těchto příkladů poučíte i pro praktické programování...

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