S druhou lekcí již očekáváme, že se zapojíte aktivně do využití elektronických výukových materiálů. Mimo čtení a případný tisk výukového textu a jednotlivých slidů to především znamená aktivní vyplňování cvičebních odpovědníků na IS. Ty by měli prakticky prozkoušet, jak jste schopni aplikovat vyučovanou látku k řešení problémů. Tak jen do toho, hned uvidíte své výsledky!

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ů (velmi lehké i poměrně obtížné), jejichž úkolem je zjistit, nakolik porozumíte formálním matematickým výrokům (nebo algoritmům) a umíte s nimi pracovat v různých situacích. Procvičíte si v nich třeba jednoduchou "doplňovačku" důkazu indukcí, pochopíte a ručně si vyhodnotíte, co počítá krátký formálně zapsaný algoritmus, nebo si dobře ověříte, nakolik chápete logiku matematických tvrzení zapsaných slovně ve tvaru "pokud máme předpoklady, pak platí tento závěr". Abyste si vyzkoušeli i 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.

Očekáváme rovněž, že své dojmy a hlavně případné problémy s řešení odpovědníků budete diskutovat mezi sebou a s cvičícími prostřednictvím předmětového diskusního fóra. Nechť se živá a podnětná diskuse rozproudí dříve než v předvečer prvního testu.

Následující diskusní vlákna by vám mohly pomoci se vypořádat s látkou a příklady této lekce. (Obzvláště online vysvětlivky cvičícího pana Mgr. 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í založeno.

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 pokusech o vyřešení příkladů si ve složce /el/1433/jaro2008/IB000/um/jine/ v IS prohlédněte příslušné soubory s řešením (ty zde nejsou přímo odkazované).