Cvičení z diskrétní matematiky 2015/16

Na pravé straně této stránky vizte obsah. Silně doporučuji pečlivě vše pročíst.

Při emailové komunikaci se mnou prosím vždy uveďte do předmětu text [DM1516]. Pozor: pokud mi chcete psát cokoliv nesouvisejícího s domácími úlohami (organizační dotaz, žádost o konzultaci, poznámka ke cvičení, …), napište mi zvláštní email a do předmětu uveďte [DM1516][!DU]. Pokud to neuděláte, mail může na delší dobu zapadnout mezi domácí úkoly. Díky.

• 1. cvičení. Též doporučuji se podívat na:
  • Proč není dobré při důkazu indukcí „soustružit“? (Tzn. napsat si rovnost, kterou chceme dokázat, a nějakým způsobem ji upravit na rovnost, kterou již známe.) Doporučuji přečíst kapitolku o matematické indukci v textu Diskrétní matematika - sbírka řešených příkladů z FEL ČVUT. Jako hloupá demonstrace podvodů, které lze dělat při „ekvivalentních“ úpravách rovností se podívejte na důkaz 1=2 (en).
  • Další obvyklé chyby při indukci jsou dobře popsány v tomto textu (en).
  • Therac-25 (en) byl ozařovací přístroj vyráběný v 80. letech v Kanadě; při nejméně 6 nehodách v letech 1985-87 zemřeli pacienti, kterým přístroj dal více než tisícinásobné dávky ozáření – kvůli softwarové chybě. Poučení? Dělejte matematiku pořádně, nebo budou umírat lidé!
• 2. cvičení
• 3. cvičení
• 4. cvičení
• 5. cvičení
• 6. cvičení
• 7. cvičení (vedl Pavel Dvořák)

• 1. série DÚ, termín 15:40 13. 10. 2015
• 2. série DÚ, termín 15:40 20. 10. 2015
• 3. série DÚ, termín 15:40 27. 10. 2015
• 4. série DÚ, termín 15:40 3. 11. 2015
• 5. série DÚ, termín 23:59 12. 11. 2015 (posunutý termín)
• 6. série DÚ, termín 23:59 18. 11. 2015 (posunutý termín)
• 7. (mega) série DÚ, termín 15:40 22. 12. 2015
• 8. série, termín: kdykoliv.

• Sbírka úloh z DM
• Návod ke Studnici vědomostí, která obsahuje mnohé jinak těžko sehnatelné materiály, mrk, mrk.

Zápočet vám udělím, získáte-li celkově 70 bodů. Váš aktuální počet bodů bude uveden v tabulce na konci této stránky. Pozor: z důvodu ochrany osobních údajů nemůžu bez vašeho svolení v tabulce uvádět vaše jméno; proto mi v každém řešení domácí úlohy uveďte i svou přezdívku, pod kterou chcete být v tabulce uvedeni. Pokud přezdívku neuvedete, beru to jako implicitní souhlas k uvedení vašeho skutečného jména.

Body lze získávat následujícími způsoby:

• Řešení úkolů: po každém cvičení budou zadány domácí úkoly za ~5 bodů. (Za typický příklad lze získat 2b, je-li příklad lehký či podúloha většího příkladu, je za 1b. Pokročilé příklady jsou naopak za 3b či víc.) Tyto úkoly budou mít termín (typicky do příštího cvičení), později za ně nezískáte žádné body. Více o vypracovávání domácích úloh…
• Opravování úkolů: pokud jste při odevzdávání řešení domácího úkolu přesvědčeni, že jste úloze skutečně porozuměli a že vaše řešení je opravdu dobré, máte možnost získat navíc pětinásobek bodů tím, že se stanete korektorem pro tuto úlohu. (Např. když se stanete korektorem pro úlohu za 2b, dostanete navíc 10b.) Korektorem se můžete stát max. třikrát za semestr. Více o korektorství…
• Písemky: v průběhu semestru budeme psát dvě písemky, každou s úlohami za 25b. Úkoly budou podobné obtížnosti jako ty ze cvičení či DÚ, jen je na ně méně času a tedy jsou za více bodů.

• Úkoly odevzdávejte pouze elektronicky (mailem) a pouze buď jako prostý text přímo v těle emailu, nebo jako přílohu ve formátu pdf (vizte níže o systému LaTeX). Řešení některých úloh je nejvhodnější ilustrovat obrázkem, proto přijímám i přílohy ve formátech jpg/png. Žádné jiné formáty nepřijímám.
• Pokud není řečeno jinak, vyřešením úlohy myslím, že dokážete dané tvrzení.
• Důkaz musí být korektní, přehledný a srozumitelný.
• Pokud se začnete ve formulacích zamotávat, zaveďte si značení. Označte objekty nebo kvantity přesnými názvy nebo proměnnými a v textu používejte tyto proměnné, nikoliv ukazovací zájmena. (Je častá chyba, že autor důkazu mluví o té a tamté množině a cvičící je v okamžiku ztracen. Proč ne množina $A$ a množina $B$?). V prostém textu dolní index označujte pomocí podtržítka (tzn. $a_1$ je a_1), horní pomocí stříšky ($a^2$ je a^2).
• Za dobré (korektní, přehledné, srozumitelné) řešení příkladu dostanete plný počet bodů. Pokud něco chybí, ale důkaz obsahuje dobrou myšlenku, nebo pokud je důkaz správný, ale nepřehledný či nesrozumitelný, dostanete přibližně poloviční počet bodů. Pokud úlohu nevyřešíte nebo je důkaz zcela špatně (včetně myšlenky), dostanete 0 bodů.
• Silně doporučuji naučit se používat sázecí systém LaTeX. Asi jako nejlepší zdroj se mi osvědčila wikikniha o LaTeXu. Dále doporučuji používat nějaký webový LaTeXový editor (rozchodit LaTeX na vlastním počítači může být oříšek) – např. WriteLaTeX nebo ShareLaTeX (oba umožňují sdílení souborů s dalšími uživateli).
• Při řešení úkolů můžete spolupracovat, ALE:
  • Vždy doporučuji, abyste příklad nejdřív zkusili vyřešit sami, více se toho naučíte.
  • Přestože jste na úkolu s někým spolupracovali, musíte řešení vypracovat a zformulovat sami. Pokud ve mně vaše řešení vzbudí podezření, že příkladu vlastně nerozumíte, a mé podezření se potvrdí, nedostanete žádné body a příště budu do vašich úkolů obzvlášť šťourat (abych si byl jistý, že jste je pochopili).

Pokud jste při odevzdávání řešení domácího úkolu přesvědčeni, že jste úloze skutečně porozuměli a že vaše řešení je opravdu dobré, pošlete ho v emailu s předmětem začínajícím [DM1516][korektor]. Já vaše řešení zhodnotím a pokud bude opravdu v pořádku, za opravení řešení vašich kolegů dostanete pětinásobek bodové hodnoty příkladu. Korektorem se můžete stát nejvýše třikrát za semestr. Naopak pokud si vyloženě nepřejete, aby někdo z vašich kolegů vaše řešení (jakožto korektor) četl, tzn. přejete si, abych vaše řešení opravoval osobně, pošlete email s předmětem začínající [DM1516][!korektor]. Podotýkám ale, že se tak můžete připravit o často kvalitnější zpětnou vazbu, než vám dávám já.

Technicky to bude fungovat tak, že když mi od někoho přijde řešení dané DÚ, přepošlu ho příslušnému korektorovi. Korektor si řešení pečlivě přečte a zhodnotí ho. Je toto řešení korektní? Pokud ne, kde udělal autor chybu? Čemu nerozumí a jak mu můžu pomoci – jakou otázkou ho nakopnu správným směrem? Dále – je toto řešení přehledné a srozumitelné? Prospělo by řešení rozdělit do více/méně odstavců? Zavést nějaké značení? Atd. Na základě tohoto zhodnocení pak korektor navrhne bodové ohodnocení. Například:

Řešení je v zásadě správné, ale doporučil bych místo značení A, B, C, … používat indexované značení A_1, A_2, A_3, … Jinak byl důkaz poměrně přehledný.

2b

Tyto poznámky pak korektor pošle autoru úlohy a v kopii též mě. Já zhodnotím řešení úlohy a korekturu, případně se k oběma vyjádřím a pokud budu s hodnocením souhlasit, zapíšu do tabulky získané body.

Povinností korektora je opravit všechny zaslané úlohy do týdne od termínu úlohy.

Tabulka