Průběh zkoušky: Zkoušený obdrží zadání pět úloh z teorie a její aplikace, na které si připraví odpovědi. Dvě otázky budou testovat studentovu schopnost vyřešit s pomocí teorie konkrétní zadané problémy. Formulace teoretických otázek a typy početních úloh najdete v seznamu ještě budou upraveny podle průběhu přednášky. Zde je ukázková písemka (je třeba získat aspoň 10 bodů, dvojka je aspoň za 13, jednička aspoň za 16 bodů z 20).

Požadavky pro získání zápočtu: Postupně zadám osm domácích úkolů, za něž bude třeba získat 35 bodů z 50 možných.

Základní literaturou jsou skripta Davida Stanovského a Libora Barta Počítačová algebra.