Zpět na domovskou stránku.

Matematika pro informatiku --- zimní semestr 2011

Osnovu předmětu naleznete zde .

Přečtěte si požadavky na zápočet a zkoušku.

Výsledky náhradních testů a písemných zkoušek jsou tady.

Před zkouškou doporučuji si přečíst krátký text How to write proofs od Eugenie Cheng.

Ke stažení:
  1. Text k přednášce (197 stran, verze 1.7.2007, klikací PDF )

    Z obsahu: matematická indukce a rekurentní rovnice, počítání modulo (protokol RSA a algoritmy pro práci s velkými čísly), lineární algebra (lineární kódy), konečná tělesa (cyklické kódy), universální algebra (algebraické specifikace datových typů).

    Pokud naleznete chybu, dejte mi, prosím, vědět. Nalezené chyby budu zatím soustřeďovat zde .

  2. Sbírka řešených příkladů z Y01DMA (41 stran, verze 1.8.2007 klikací PDF )

    Pokud naleznete chybu, dejte mi, prosím, vědět. Nalezené chyby budu zatím soustřeďovat zde .

  3. Handouts z přednášek (formát PDF):
    1. 19.9.2011 , verze pro tisk , (Principy indukce a rekursivní algoritmy)
    2. 26.9.2011 , verze pro tisk , (Rekurentní rovnice, strukturální indukce)
    3. 3.10.2011 , verze pro tisk , (Základy elementární teorie čísel)
    4. 10.10.2011 , verze pro tisk , (Relace a kongruence modulo)
    5. 17.10.2011 , verze pro tisk , (Okruh \Z_m)
    6. 24.10.2011 , verze pro tisk , (Lineární algebra nad \Z_m (dokončení), lineární kódy)
    7. 31.10.2011 , verze pro tisk , (Hlubší věty o počítání modulo)
    8. 7.11.2011 , verze pro tisk , (Protokol RSA)
    9. 14.11.2011 , verze pro tisk , (Okruhy polynomů, konečná tělesa, cyklické kódy)
    10. 21.11.2011 , verze pro tisk , (Základy algebraických specifikací)
    11. 28.11.2011 , verze pro tisk , (Pologrupy, monoidy, grupy a jejich homomorfismy)
    12. 5.12.2011 , verze pro tisk , (Cyklické grupy a grupy permutací)

  4. Řešené příklady (formát PDF, 8 stran): příklady na cyklické grupy a permutace .

Další možné doplňující informace je možné nalézt na stránkách předmětu DML z roku 2005 od prof. Demlové.

Poslední změna: 24.8.2011