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í...
Chyba: Odkazovaný objekt neexistuje nebo nemáte právo jej číst.
https://is.muni.cz/el/1433/podzim2009/IB000/um/cvic/Lekce8_procviceni.qdesc
Diskuse o látce
Doplňkové a externí materiály