Vyčíslitelnost a složitost¶

Hlavním cílem kurzu je proniknout k principům fungování našeho světa z pohledu teoretické informatiky. Nejdůležitější částí kurzu jsou tak přednášky, ve kterých se dozvíte, jak to s tím světem teda je. Abyste si mohli přednášky užít naplno, je potřeba získané znalosti procvičovat, a to jak samostatně doma, tak na společných cvičeních. Procvičování přispívá i k naplňování několika vedlejších cílů, jako je osvojení si metod z teorie vyčíslitelnosti a složitosti, pochopení, jak lze tyto principy a metody sem tam prakticky využít, i pokud nejste teoretický informatik, trénink logického uvažování, formulování svých myšlenek a vytváření důkazů, které je radost číst a v neposlední řadě příjemně strávený čas ve flow při řešení zajímavých úloh společně se spolužáky.