Obsah:

Cvičení se zabývá dokazováním korektnosti algoritmů, hledáním typických algoritmických chyb a jejich odstraňování. Jsou zadefinovány základní pojmy, které se k dokazování budou požívat během celého semestru.

Po tomto cvičení byste měli být schopni zjistit, zdali je algoritmus korektní (vzhledem k zadaným vstupním a výstupním podmínkám). Pokud je korektní, měli byste tento fakt zvládnout dokázat. Pokud není, musíte být schopni uvést příklad vstupu, pro který algoritmus není korektní (a opravit jej).

Implementační zadání:

Implementační řešení:

Doplňkové materiály: