|
Vyučující
|
-
Bělohlávek Radim, prof. RNDr. Ph.D., DSc.
-
Kühr Tomáš, Mgr. Ph.D.
-
Kolařík Miroslav, doc. RNDr. Ph.D.
-
Kauer Martin, Mgr.
-
Urbanec Tomáš, Mgr.
-
Juračka Jakub, Mgr.
|
|
Obsah předmětu
|
Úvod do logiky (výroky, logické spojky, pravdivost výroků, úvod do výrokové a predikátové logiky). Ú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). Přirozená čísla, číselné soustavy, binární reprezentace čísel. Indukce a rekurze. Základní kombinatorické úvahy. Abeceda, řetězec, kódování, jazyk. Pojem algoritmu (intuitivní chápání, nutnost formalizace, konečný automat jako jednoduchý příklad). Pojem problému (intuitivní chápání, nutnost formalizace, rozhodovací problémy, algoritmicky nerozhodnutelné problémy). Úvod do složitosti algoritmů. Převoditelnost problému na problém. Nezvládnutelné problémy a jak se s nimi vypořádat. Vybrané aplikace probíraných pojmů.
|
|
Studijní aktivity a metody výuky
|
|
Přednášení, Demonstrace
|
|
Výstupy z učení
|
Studenti se seznámí se základními pojmy z úvodu do informatiky.
1. Znalost Popsat a pochopit základy informatiky.
|
|
Předpoklady
|
nespecifikováno
|
|
Hodnoticí metody a kritéria
|
Ústní zkouška, Písemná zkouška
Aktivní účast v hodině. Plnění zadaných úkolů. Složení ústní (příp. písemné) zkoušky.
|
|
Doporučená literatura
|
-
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.
|