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í, umíte uvést příklad vstupu, pro který algoritmus není korektní (a opravit jej).

Implementační zadání:

• Zadání v C

• Zadání v Pythonu

Doplňkové materiály: