Matematika pro informatiku

Předmět poslouží k úvodnímu seznámení s matematikou nutnou pro studium moderní computer science. Matematické pojmy jsou ilustrovány příklady praktického použití v informatice: matematická indukce a rekurentní rovnice jako prostředek k definování nových pojmů a studiu složitosti rekursivních algoritmů, zbytkové třídy modulo číslo a polynom jako prostředky k pochopení základních myšlenek matematické kryptografie a teorie kódů, grupy, monoidy, pologrupy, okruhy, tělesa, svazy, distributivní svazy a Booleovy algebry jako příklady rovnicových specifikací abstraktních datových typů.