OBSAH

Jedenáctá lekce pokračuje v látce dokazování vlastností algoritmů, tentokrát v systematickém podání. Nejprve se zaměříme na dokazování konečnosti algoritmu, poté na přehled technik matematické indukce vhodných pro dokazování algoritmů a nakonec si uvedeme několik hezkých vzorových algoritmů s důkazy.

V tomto odpovědníku se seznámíme s obtížnějšími úkoly určení chování netriviálních algoritmů...

Diskuse o látce

(Opět mnohé diskuse pocházejí z dřívější doby, kdy látka byla v Lekci 8.)

Doplňkové a externí materiály