Průvodce IB000 Úvod do informatiky

Lekce 8: Dokazování vlastností algoritmů

OBSAH

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

Error: The referenced object does not exist or you do not have the right to read.
https://is.muni.cz/el/1433/podzim2011/IB000/um/cvic/Lekce8_procviceni.qref

Diskuse o látce

Doplňkové a externí materiály