Předmět Teoretická informatika (TI)
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 TI - Teoretická informatika, Provozně ekonomická fakulta, Mendelova univerzita v Brně (MENDELU).
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.Matematika a její vztah k informatice (dotace 9/3) a.Úvod do problematiky, pojem formalismusb.Opakování základních mat. formalismů - teorie čísel, teorie množin, logikac.Algebra, algebraické systémy, formalizace algebrou2.Formalizace počítače pomocí formálních jazyků a automatů (dotace 6/2) a.Formální jazyky a gramatiky třídy 0b.Výpočetní model, Turingův strojc.Churchova teze, RAM stroj3.Složitost algoritmu (dotace 10/3) a.Pojem složitosti, definice složitosti Turingovým strojemb.Odhad prostorové a časové složitosti běžných algoritmůc.Determinismus, nedeterminismus, složitostní třídyd.Rozhodnutelnost a nerozhodnutelnost problémů4.Pokročilé datové struktury (dotace 4/1) a.Stromové datové struktury, jejich reprezentaceb.Operace ve stromových strukturách, jejich složitost5.Grafové a siťové algoritmy (dotace 7/3) a.Reprezentace grafub.Prohledávání grafu (do hloubky, do šířky), minimální cesta v grafuc.Minimální kostra grafud.Reprezentace sítí, toky v sítích6.Paralelní programování (dotace 6/2) a.Zavedení paralelismu, modelování paralelních systémůb.Jazyk CCS pro popis paralelních systémů, bisimulační hryc.Petriho síťě jako modely paralelních řídících systémů
Získané způsobilosti
Všeobecné kompetence: -dovednosti spojené s využíváním a zpracováním informací-kapacita k učení se-schopnost analýzy a syntézy-schopnost kritiky a sebekritiky-týmová práce-základní profesní znalostiOborově specifické kompetence: -Analýza a syntéza poznatků získaných v různých předmětech-Efektivní využití pokročilých datových struktur v programátorské praxi-Pěstovat schopnost kritického vyhodnocování, srozumitelné a věcné argumentace při řešení matematických problémů-Přemýšlet nad mezemi řešitelnosti reálných problémů-Schopnost řešit reálné problémy formálním aparátem teoretické informatiky
Literatura
TypAutorNázevMísto vydáníNakladatelRokISBNZSIPSER, M.Introduction to the theory of computationBostonThomson Course Technology20060-534-95097-3ZVANÍČEK, J. a kol.Teoretické základy informatikyPrahaKernberg2007978-80-903962-4-1ZČEŠKA, M. a kol.Vyčíslitelnost a složitostBrnoCERM1992DČEŠKA, M.Petriho sítě: Úvod do teorie a nástrojů pro aplikaci Petriho sítíBrnoCERM1994DTICHÝ, Z. -- ŠKRÁŠEK, J.Základy aplikované matematiky ISNTL1983DPLESNÍK, J.Grafové algoritmyBratislavaVEDA1993
Požadavky
Závěrečná ústní zkouška. Podkladem pro hodnocení je rovněž aktivita studentů (diskuse ve cvičení, samostatná práce studentů na příkladech a projektech).
Garant
Mgr. Tomáš Foltýnek, Ph.D.
Vyučující
Mgr. Tomáš Foltýnek, Ph.D.Ing. Pavel Haluza, Ph.D.