čeština

3

V kurzu získají studenti základní znalosi o chování uspořádaných množin a svazů, zejména Booleových algeber. Naučí se minimalizovat boleovské
funkce a ralizovat je logickými bvody. Dále se seznámí s nejčastějšími
typy konečných automatů a s jejich vlastnostmi, jakož i s regulárními
jazyky a s problémem determinismu. Konečně pak také získají základní představu o problémech spojených s kódováním a dekódováním zpráv.

1. Uspořádané množiny, svazy a úplnné svazy.
2. Galoisova korespondence, distributivní a komplementární svazy
3. Booleovy algebry a booleovské funkce.
4. Minimalizace booleovských funkcí, logické obvody.
5. Konečné automaty - příklady a základní definice, činost automatu.
6. Izomorfizmy, ralizace a kongruene automatů.
7. Ekvivalence a podobnost atomatů.
8. Regulární jazyky, nedeerministické automaty.
9. Kleenova věta, některé dakší typy automatů.
10. Úvod do teorie kódování, samoopravné kódy.
11. Lineární kódy - základní vlastnosti.
12. Hammingovy kódy - binární a rozšířené, zkracování kódu..
13. Perfektní kódy - Galayovy a další perfektní kódy.
14. Cyklické kódy, binární a ternární Galayovy kódy.
15. Rezerva (BCH-kódy).

Cílem předmětu Metody diskrétní matematiky je seznámi sudenty 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í zvládnutí je nutným předpokladem pro úspěšnou tvůrčí činnost inženýra.

J.E. Whitesid: Boolean Algebra and its Applications, , 0
L.S. Bobrow, M.A. Arbib: Discrete Mathmatics - Applied Algebra for Computer and Information Science , , 0
Theory of Finite Automata, with an Introduction to Formal Languages: Theory of Finite Automata, with an Introduction to Formal Languages, , 0

F. Preparata, R. Yeh: Úvod do teórie diskrétnych matematických štruktůr, , 0
M. Demlová, V. Koubek: Algebraická teorie automatů, , 0
J. Kopka: Svazy a Booleovy algebry, , 0

14 hod., povinná