Detail předmětu
Základy diskrétní matematiky
FSI-9MDM Ak. rok: 2022/2023 Zimní semestr
Předmět seznamuje studenty se základními metodami diskrétní matematiky používanými v (nejen technické) praxi. Probíranou látku lze rozdělit do čtyř oblastí. První oblastí je logika, zejména výroková logika a její aplikace v informatice a elektrotechnice. Druhou oblast tvoří teorie grafů a sítí s důrazem na grafové algoritmy využívané v optimalizačních úlohách nejrůznějších typů. Další oblastí je abstraktní algebra s aplikacemi v teorii formálních jazyků a automatů. Závěrečnou část pak tvoří základy teorie kódování, přičemž pozornost je věnována především lineárním kódům.
V souvislosti s pronikáním výpočetní techniky do všech oblastí lidské činnosti vzrůstá význam diskrétní matematiky a proto se bez znalostí jejích základů již neobejde žádný inženýr, který chce ve svém oboru vědecky pracovat.
Jazyk výuky
čeština
Garant předmětu
Zajišťuje ústav
Výsledky učení předmětu
Absolvováním kurzu Metody diskrétní matematiky získají studenti základní znalosti z oblastí logiky, teorie grafů, teorie automatů a formálních jazyků a teorie kódování. Budou tak lépe vybaveni pro tvůrčí činnost ve svém oboru a lépe také pochopí principy činnosti počítačů a budou proto schopni je efektivněji využívat.
Prerekvizity
Požadují se základní znalosti matematiky z bakalářského studia.
Plánované vzdělávací činnosti a výukové metody
Předmět je vyučován formou přednášek, které mají charakter výkladu základních principů a metod diskrétní matematiky.
Způsob a kritéria hodnocení
Studenti musejí složit zkoušku, skládající se z písemné a ústní části. Během zkoušky bude zhodnocena znalost základních pojmů a jejich vlastností i schopnost užití teoretických vědomostí pro řešení konkrétních problémů.
Učební cíle
Cílem předmětu je seznámit studenty se základními metodami diskrétní matematiky využívanými v technické praxi. Zvládnutí těchto metod jim umožní hlubší proniknutí do jejich oboru a efektivnější využívání výpočetní techniky při řešení konkrétních problémů.
Vymezení kontrolované výuky a způsob jejího provádění a formy nahrazování zameškané výuky
Protože se jedná o přednášku, která je nepovinná, nebude výuka kontrolována.
Použití předmětu ve studijních plánech
Program D-IME-P: Inženýrská mechanika, doktorský, doporučený kurs
Program D-IME-K: Inženýrská mechanika, doktorský, doporučený kurs
Typ (způsob) výuky
Přednáška
20 hod., nepovinná
Osnova
Osnova přednášky: počet hodin týdně 2
1. Výroková logika a její předmět
2. Axiomatizace výrokové logiky
3. Predikátová logika
4. Axiomatizace predikátové logiky
5. Orientované a neorientované grafy
6. Grafové algoritmy
6. Sítě a jejich aplikace
8. Grupoidy a grupy
9. Okruhy a tělesa
10.Formální jazyky
11.Automaty
12.Úvod do teorie kódování
13.Lineární kódy