|
Vyučující
|
-
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
|
Ú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). Pravděpodobnost (klasická definice pravděpodobnosti, konečný pravděpodobnostní prostor, počítání pravděpodobnosti, náhodná veličina, střední hodnota, rozptyl).
|
|
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.
|