Předmět Teoretické základy informatiky (TZI)

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 TZI - Teoretické základy informatiky, Provozně ekonomická fakulta, Mendelova univerzita v Brně (MENDELU).

Materiál	Typ	Datum	Počet stažení

Obsah

1.Úvod do problematiky, terminologie (dotace 2/0)2.Matematická logika (dotace 8/12) a.Výroková logikab.Predikátová logika3.Teorie množin (dotace 8/8) a.Základní pojmy z teorie množinb.Množinové operacec.Relaced.Zobrazeníe.Operace4.Teorie grafů (dotace 6/6) a.Základní pojmy z teorie grafůb.Grafové algoritmyc.Implementace grafů5.Úvod do teorie systémů (dotace 2/0)Výstupy předmětu: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-základní profesní znalosti-základní všeobecné znalosti-základní výpočetní dovednostiOborově specifické kompetence: -Analytické a logické myšlení-Korektní návrh datových struktur a relací mezi nimi-Schopnost řešit reálné problémy formálním aparátem teoretické informatiky -Základní přehled o problémech řešitelných pomocí teorie grafů a grafových algoritmech

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-základní profesní znalosti-základní všeobecné znalosti-základní výpočetní dovednostiOborově specifické kompetence: -Analytické a logické myšlení-Korektní návrh datových struktur a relací mezi nimi-Schopnost řešit reálné problémy formálním aparátem teoretické informatiky -Základní přehled o problémech řešitelných pomocí teorie grafů a grafových algoritmech

Literatura

TypAutorNázevMísto vydáníNakladatelRokISBNZVANÍČEK, J. a kol.Teoretické základy informatikyPrahaKernberg2007978-80-903962-4-1ZFORSTER, T E.Logic, induction and setsCambridgeCambridge University Press20030-521-82621-7DHABR, J. -- VEPŘEK, J.Systémová analýza a syntéza : (Moderní přístup k řízení a rozhodování) : Určeno [též] posl. vys. škol. ekon zaměřeníPrahaSNTL1973DPLESNÍK, J.Grafové algoritmyBratislavaVEDA1993DTICHÝ, Z. -- ŠKRÁŠEK, J.Základy aplikované matematiky ISNTL1983

Požadavky

Nutnou podmínkou ukončení předmětu je zisk malého zápočtu, který uděluje cvičící. Zápočet student získá na základě výsledků průběžných písemek (3 písemky, maximum na každou je 10 bodů, je třeba získat 4 body z každé a alespoň 18 v součtu, studenti mají celkem 3 možnosti opravy) a aktivity ve cvičení. závěrečná zkouška má dvě části - teoretickou (10 úloh po 2 bodech) a praktickou (8 úloh po 5 bodech), k úspěšnému absolvování je třeba získat 60% z každé části.

Garant

Mgr. Tomáš Foltýnek, Ph.D.

Vyučující

Ing. Mgr. Jana Dannhoferová, Ph.D.Ing. Dita DlabolováMgr. Tomáš Foltýnek, Ph.D.Ing. Pavel Haluza, Ph.D.Ing. Pavel Turčínek, Ph.D.