• Noc vědců 2017
  • Události
  • Sem patřím
  • Centrum sportovních aktivit VUT v Brně
  • Výzkumná centra
  • Zvut.cz

  • Pravděpodobně máte vypnutý JavaScript. Některé funkce portálu nebudou funkční.

Detail předmětu

Metody diskrétní matematiky

Kód předmětu: FSI-SDM
Akademický rok: 2016/2017
Typ předmětu: povinný
Typ studia: bakalářský (první cyklus)
Ročník: 2
Semestr: zimní
Počet kreditů:
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.
Korekvizity:
Není specifikováno.
Doporučené volitelné složky programu:
Není specifikováno.
Obsah předmětu (anotace):
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.
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
Pracovní stáže:
Není specifikováno.
Osnovy výuky:
Není specifikováno.
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: doc. RNDr. Petr Emanovský, Ph.D.
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: doc. RNDr. Petr Emanovský, Ph.D.
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

Zařazení předmětu ve studijních programech