<ol> <li>Úvod do logiky (výroky, logické spojky, pravdivost výroků, úvod do výrokové a predikátové logiky). </li> <li>Úvod do relací a množin (množiny, relace, jejich význam v informatice, vlastnosti relací, uspořádání, ekvivalence, rozklad a faktorová množina, binární relace a grafy, funkce a jejich typy, bijekce, konečné, spočetné a nespočetné množiny). </li> <li>Přirozená čísla, číselné soustavy, binární reprezentace čísel. </li> <li>Indukce a rekurze. </li> <li>Základní kombinatorické úvahy. </li> <li>Abeceda, řetězec, kódování, jazyk. </li> <li>Pojem algoritmu (intuitivní chápání, nutnost formalizace, konečný automat jako jednoduchý příklad). </li> <li>Pojem problému (intuitivní chápání, nutnost formalizace, rozhodovací problémy, algoritmicky nerozhodnutelné problémy). </li> <li>Úvod do složitosti algoritmů. Převoditelnost problému na problém. Nezvládnutelné problémy a jak se s nimi vypořádat. </li> <li>Vybrané aplikace probíraných pojmů. </li> </ol>
|
-
Bělohlávek R. (2008). Úvod do informatiky. Učební text, Katedra informatiky, UP Olomouc.
-
Bělohlávek R., Vychodil V. (2006). Diskrétní matematika pro informatiky I, II.. Katedra informatiky.
-
Brookshear J. G. (2013). Informatika. Computer Press.
-
Cormen T. H., Leiserson C. E., Rivest R. L., Stein C. (2001). Introduction to Algorithms. Second Edition.. MIT Press.
-
Goodaire E. G., Parmenter M. M. (1998). Discrete Mathematics with Graph Theory. Prentice-Hall, Inc.
-
Grimaldi R. (1999). Discrete and Combinatorial Mathematics. An Applied Introduction. 4th ed.. Addison Wesley, Reading, MA.
-
Gruska J. (1997). Foundations of Computing. International Thompson Computer Press.
-
Maurer S. B., Ralston A. (1991). Discrete Algorithmic Mathematics. Addison Wesley.
|