OBSAH

Tato lekce pokračuje v základních formalismech matematických vět a důkazů a rozebírá jednotlivé základní typy matematických důkazů. Největší důraz je kladen na techniku matematické indukce. Blíže viz slidy...

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

Sice pro látku matematických důkazů je obtížné připravovat automatizované testy, ale přesto zde máte připraveno několik příkladů, jejichž úkolem je zjistit, nakolik porozumíte formálním matematickým (logickým) výrokům a umíte s nimi a důkazy pracovat v různých situacích. Procvičíte si v nich jednoduchou "doplňovačku" důkazu indukcí a ověříte si, nakolik chápete logiku matematických tvrzení zapsaných slovně ve tvaru "pokud máme předpoklady, pak platí tento závěr". Zastoupeny jsou i rekurentní vzorce posloupností. Abyste si vyzkoušeli něco nového, na co musíte sami přijít zobecněním poznatků z přednášky, budete také hledat obecný součet zadané řady přirozených čísel.

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. (Obzvláště online vysvětlivky dřívějšího cvičícího Vaška Brožka jsou velmi hodnotné!)

Případně si založte nové vlákno v současném semestru, ale nerozmělňujte vlákna příliš, pro vaše vlastní pohodlí při sledování vláken se nejprve podívejte, zda vlákno o stejném tématu již není letos založeno. Cvičící budou v nových vláknech promptně reagovat a pomáhat vám.

Doplňkové a externí materiály

Pro další doplňkové studium matematických důkazů a jejich příkladů doporučujeme následující výukový text DIM - kapitolu 3, a sady zadání tištěných příkladů. Jelikož se jedná o staré a neupravované texty, mohou se v nich vyskytovat odlišnosti od výuky, přednost má však zásadně to, co se učí v aktuálním semestru IB000. Teprve po vlastních pokusech o vyřešení příkladů si ve složce /el/1433/podzim2016/IB000/um/jine/ v IS prohlédněte příslušné soubory s řešením (ty zde schválně nejsou přímo odkazované).