Předmět Matematická informatika (4IZ524)
Na serveru studentino.cz naleznete nejrůznější studijní materiály: zápisky z přednášek nebo cvičení, vzorové testy, seminární práce, domácí úkoly a další z předmětu 4IZ524 - Matematická informatika, Fakulta informatiky a statistiky, Vysoká škola ekonomická v Praze (VŠE).
Top 10 materiálů tohoto předmětu
Materiály tohoto předmětu
| Materiál | Typ | Datum | Počet stažení |
|---|
Další informace
Obsah
1. Co jsou a k čemu slouží teoretické základy informatiky.2. Množinové struktury2.1 Relace a uspořádání2.2 Svazy 2.3 Booleovy algebry a funkce3. Formální jazyky3.1 Základní pojmy a operace3.2 Regulární jazyky3.3 Formální gramatiky3.4 Hierarchie jazyků4. Automaty4.1 Konečné automaty4.2 Rozpoznávání jazyků4.3 Další typy automatů5. Teorie algoritmů5.1 Modely vyčíslitelnosti5.2 Turingovy stroje5.3 Algoritmická řešitelnost problémů
Získané způsobilosti
Po úspěšném absolvování budou studenti schopni orientovat se v hierarchii formálních jazyků a odpovídajících automatů. Budou znát různé modely vyčíslitelnosti a vztah mezi nimi, otázky algoritmické řešitelnosti problémů a výpočetní složitosti.
Literatura
TypAutorNázevMísto vydáníNakladatelRokISBNZIVÁNEK, J.Základy matematické informatiky I : Informace a automaty.Praha:SPN, 1991.990000120XZIVÁNEK, J. -- PÁNKOVÁ, V.Základy matematické informatiky II : Množinové struktury.Praha:VŠE, 1985.990000121XDJACKSON, B W. -- THORO, D.Applied combinatorics with problem solving.Reading [etc.]:Addison-Wesley, 1990.0-201-12908-6DROSEN, K H.Discrete mathematics and its applications.New York:Random House, 1988.0-394-36768-5DKOLÁŘ, J. -- ŠTĚPÁNKOVÁ, O. -- CHYTIL, M.Logika, algebry a grafy.Praha:SNTL, 1989.DMANNA, Z.Matematická teorie programů.Praha:SNTL, 1981.990000122XDCHYTIL, M.: Automaty a gramatiky, SNTL Praha, 1984
Požadavky
žádné
Garant
doc. RNDr. Jiřina Vejnarová, CSc.
Vyučující
doc. RNDr. Jiřina Vejnarová, CSc.