Podmínkou pro zápočet je aktivní účast ve cvičeních a prokázání znalostí při písemných testech, které budou průběžně konány. V písemné části zkoušky je třeba prokázat schopnost řešit zadaný problém na základě získaných vědomostí, v její ústní části pan prokázat zvládnutí probrané teorie.

Cílem předmětu je seznámit studenty s obvyklými metodami diskrétní matematiky užívanými v nejrůznějších aplikacích v matematice i mimo ni, např. v informatice při konstrukci a popisu činnosti počítače a při přenosu informace. Absolvováním kurzu získají studenti nové poznatky z oblasti diskrétní matematiky, které jim spolu s poznatky z matematiky spojité získanými v jiných předmětech poskytnou základní vědomosti potřebné pro modelování a řešení různých, především inženýrských problémů.

V kurzu získají studenti základní znalosti o chování binárních relací, zejména ekvivalencí a uspořádání a svazů s důrazem na Booleovy algebry. Naučí se minimalizovat booleovské funkce a realizovat je logickými obvody. Dále se seznámí s nejčastejšími typy konečných automatů a s jejich vlastnostmi, s regulárními jazyky a s problémem determinismu. Nakonec pak také získají představu o základních problémech spojených s kódováním a dekódováním zpráv.

• Program B-MAI-P bakalářský, 2. ročník, zimní semestr, povinný