Detail předmětu

Metody diskrétní matematiky

FSI-SDMPovinnýBakalářský (první cyklus)Ak. rok: 2016/2017Zimní semestr2. ročník6  kreditů

Předmět Metody diskrétní matematiky seznamuje studenty se třemi základními oblastmi aplikované algebry. První oblastí je teorie uspořádaných množin a svazů, přičemž hlavní pozornost je soustředěna na teorii Booleových algeber. Další oblastí je algebraická teorie automatů a formálních jazyků. Poslední oblastí je pak úvod do teorie kódování. Ve všech třech případech se tedy jedná o algebraické disciplíny tvořící teoretické základy informatiky. Vzhledem k rozvoji využití vypočetní techniky ve všech inženýrských odvětvích jsou získané poznatky pro absolventy oboru matematické inženýrství nezbytné.
Binarni relace (tolerance a ekvivalenc), usporadane mnoziny a svazy. Booleovy algebry (booleovske funkce, algebra logiky). Konecne automaty (Mealyho a Mooreovy automaty).
Regularni jazyky a gramatiky. Zaklady teorie kodovani.

Výsledky učení předmětu

V kurzu získají studenti základní znalosti o chování uspořádaných mno-
žin a svazů, zejména Booleových algeber. Naučí se minimalizovat boole-
ovské funkce a realizovat je logickými obvody. Dále se seznámí s nej-
častejšími typy konečných automatů a s jejich vlastnostmi, s regulární-
mi jazyky a s problémem determinismu. Nakonec pak také získají předsta-
vu o základních problémech spojených s kódováním a dekódováním
zpráv.

Způsob realizace výuky

90 % kontaktní výuka, 10 % distančně

Prerekvizity

Předpokládá se pouze středoškolská znalost teorie množin.

Doporučená nebo povinná literatura

N.L.Biggs, Discrete Mathematics, Oxford Univ. Press, 1999.
F. Preparata, R. Yeh: Úvod do teórie diskrétnych matematických štruktúr, Alfa, Bratislava, 1982.
M. Demlová, V. Koubek: Algebraická teorie automatů, SNTL, Praha, 1990.
M.Piff, Discrete Mathematics, Cambridge Univ. Press, 1991.
A.D.Polimeni and H.J.Straight, Foundations of Discrete Mathematics, Brooks/Cole Publ. Comp., Pacific Grove, California, 1990.
J. Kopka: Svazy a Booleovy algebry, Univerzita J.E.Purkyně v Ústí nad Labem, 1991.
M.Novotný, S algebrou od jazyka ke gramatice a zpět, Academia, Praha, 1988.
D.R.Hankerson at al.: Coding Theory and Cryptography, Marcel Dekker, Inc., New York -Basel, 2000.

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 teorie dané disciplíny. Cvičení je zaměřeno na praktické zvládnutí látky probrané na přednáškách.

Způsob a kritéria hodnocení

Zkoušky se budou skládat ze dvou částí, písemné a ústní, na základě terých pak bude určena výsledná klasifikace.

Jazyk výuky

čeština

Cíl

Cílem předmětu Metody diskrétní matematiky je seznámit studenty s ob-
vyklými algebraickými metodami užívanými při konstrukci a popisu čin-
nosti počítače a při přenosu informace. Absolvováním kurzu získají
studenti další důkaz toho, že matematika je základní vědní disciplínou
a její zvladnutí je nutným předpokladem pro úspěšnou tvůrčí činnost
inženýra.

Vymezení kontrolované výuky a způsob jejího provádění a formy nahrazování zameškané výuky

Protože cvičení jsou povinná, bude na nich vyučující pravidelně kontrolovat účast. V případě omluvené nepřítomnosti budou studentovi zadány příklady tak, aby se mohl zameškanou látku doučit.

Typ (způsob) výuky

 

Přednáška

26 hod., nepovinná

Vyučující / Lektor

Osnova

1. Relace mezi množinami
2. Zobrazení
3. Relace na množině
4. Tolerance a ekvivalence
5. Uspořádané množiny
6. Svazy
7. Booleovy svazy
8. Booleovy funkce
9. Aplikace Booleových svazů
10.Formální jazyky
11.Konečné automaty
12.Gramatiky
13.Samoopravné kódy

Cvičení

26 hod., povinná

Vyučující / Lektor

Osnova

1. Relace mezi množinami
2. Zobrazení
3. Relace na množině
4. Tolerance a ekvivalence
5. Uspořádané množiny
6. Svazy
7. Booleovy svazy
8. Booleovy funkce
9. Aplikace Booleových svazů
10.Formální jazyky
11.Konečné automaty
12.Gramatiky
13.Samoopravné kódy