|
Vyučující
|
-
Ošťádal Matěj, Mgr.
-
Tříska Jan, Mgr. Ph.D.
-
Laštovička Jan, Mgr. Ph.D.
-
Kolařík Miroslav, doc. RNDr. Ph.D.
-
Juračka Jakub, Mgr.
|
|
Obsah předmětu
|
Pravděpodobnost (klasická definice pravděpodobnosti, konečný pravděpodobnostní prostor, počítání pravděpodobnosti, náhodná veličina, střední hodnota, rozptyl). Úvod do výrokové logiky (axiomatický systém, pojem důkaz). Úvod do predikátové logiky (jazyk, pojem struktura pro jazyk a pravdivost ve struktuře, ukázka jazyka PROLOG). Stručně o fuzzy logice a modální logice. Základy elementární teorie čísel (dělitelnost, prvočísla, Euklidův algoritmus, kongruence modulo n a zbytkové třídy). Vybrané číselné funkce, rychlosti růstu. Základní algebraické struktury s jednou a dvěma binárními operacemi. Posloupnosti reálných čísel, jejich vlastnosti a limity. Nekonečné řady a kritéria jejich konvergence a divergence. Grafy (skóre grafu, eulerovské tahy, vrcholové barvení grafu, toky v sítích).
|
|
Studijní aktivity a metody výuky
|
|
Přednášení, Demonstrace
|
|
Výstupy z učení
|
Studenti se seznámí se základy diskrétních struktur a diskrétní matematiky používanými v informatice.
|
|
Předpoklady
|
KMI/DISK1 Diskrétní struktury 1
|
|
Hodnoticí metody a kritéria
|
Ústní zkouška, Písemný test
Plnění zadaných úkolů. Složení ústní, příp. písemné, zkoušky.
|
|
Doporučená literatura
|
-
Bělohlávek R. (2020). Diskrétní struktury. Katedra informatiky, 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. (2009). Introduction to Algorithms. 3rd ed.. MIT Press.
-
Goodaire E. G., Parmenter M. M. (2005). Discrete Mathematics with Graph Theory, 3rd ed.. Prentice Hall.
-
Grimaldi R. (2003). Discrete and Combinatorial Mathematics. An Applied Introduction. 5th ed.. Pearson, Reading, MA.
-
Maurer S. B., Ralston A. (2005). Discrete Algorithmic Mathematics. 3rd ed.. A K Peters/CRC Press.
|