OBSAH

Nyní je na čase se více ponořit do hlubin matematické indukce (tato lekce je jako samostatná od roku 2017) a spojit si tuto látku s induktivními definicemi množin a funkcí. Strukturální indukce je heslem dne...

Samostatné procvičení učiva - odpovědníky

Příklady v procvičení zahrnují posloupnosti a jejich rekurentní vzorce. Budete hledat obecný součet zadané řady přirozených čísel a odhadovat správné řešení rekurentní posloupnosti. Procvičíte si také jednoduchou "doplňovačku" důkazu indukcí. Mimo samotných příkladů si uvědomte a sami zkuste, že správnost vašich odpovědí by se měla vždy dokazovat indukcí (při znalosti či uhodnutí výsledku je už takový důkaz docela přímočarý).

Pro procvičení strukturální indukce přímo nemáme generované odpovědníky (nejen že by bylo obtížné je generovat, ale hlavně není jasné, jak by se daly strojově vyhodnocovat), avšak speciálně připravené starší zkouškové příklady jsou k prohlédnutí zde a je mezi nimi i strukturální indukce:

Diskuse o látce

Následující diskusní vlákna, nahrazující učebnová cvičení v minulých letech, by i vám mohla pomoci se vypořádat s látkou a příklady této lekce. (Dříve tato lekce o indukci nebyla samostatná a její obsah byl rozdělený v několika jiných.)

Doplňkové a externí materiály