Detail předmětu
Diskrétní matematika
IDM Ak. rok 2003/2004 zimní semestr 6 kreditů
Množina, relace a zobrazení. Topologie a spojité zobrazení. Struktury s jednou a dvěma operacemi. Ekvivalence a rozklady. Uspořádání. Svazy a Booleovy algebry. Výrokový a predikátový počet. Normální formy formulí. Dedukce. Techniky důkazů. Základní pojmy teorie grafů. Souvislost grafů. Podgrafy a morfismy grafů. Problém rovinnosti. Stromy a jejich vlastnosti. Jednoduché grafové algoritmy.
Garant předmětu
Jazyk výuky
Zakončení
Rozsah
Zajišťuje ústav
Získané dovednosti, znalosti a kompetence z předmětu
Student získá schopnost základní orientace v matematice a elementární znalosti především z diskrétní matematiky, logiky a souvisejících matematických struktur: elementární topologie, binární relace, uspořádání, svazy, grupy, grafy.
Cíle předmětu
Moderně koncipovaný předmět poskytuje základní znalosti z matematiky potřebné pro řadu navazujících kursů. Student bude seznámen s elementárními poznatky z teorie množin, topologie a zejména diskrétní matematiky, s důrazem na matematické struktury, které jsou aplikovatelné v "computer science".
Průběžná kontrola studia
Aktivní účast na počítačových cvičeních.
Zařazení předmětu ve studijních plánech
- Program IT-BC-3, obor BIT, 1. ročník, povinný
- Program IT-BC-3 (anglicky), obor BIT, 1. ročník, povinný