Detail předmětu

Theoretical Informatics

FEKT-NTINAk. rok: 2012/2013

Teoretické modely, orientované a neorientované grafy, způsoby reprezentace grafu. Deterministické a nedeterministické automaty. Datové struktury a objekty. Paralelní, sekvenční a náhodné algoritmy. Systémy hromadné obsluhy. Distribuované algoritmy. Stochastické procesy. Optimalizace, genetické algoritmy. Vizualizace a vyhledávání informací. Teorie zabezpečení dat - kryptografie, steganografie.

Jazyk výuky

angličtina

Počet kreditů

6

Garant předmětu

doc. Ing. Radim Burget, Ph.D.

Zajišťuje ústav

Ústav telekomunikací (UTKO)

Výsledky učení předmětu

Absolventi jsou schopni návrhu a implementace různých forem abstraktních datových typů a jeho aplikaci na řešení konkrétních problémů: lineární struktury, rozhodovací stromy, hledání cesty v grafu, genetické algoritmy.

Prerekvizity

Jsou požadovány znalosti na úrovni bakalářského studia.

Plánované vzdělávací činnosti a výukové metody

Metody vyučování závisejí na způsobu výuky a jsou popsány článkem 7 Studijního a zkušebního řádu VUT.

Způsob a kritéria hodnocení

Závěrečná zkouška tvoří 70 % bodového hodnocení, dále 15 % tvoří půlsemestrální zkouška a zbylé body 15 % jsou za aktivitu v rámci cvičení. V rámci cvičení je požadován zápočtový test dovedností.

Osnovy výuky

1. Teorie výpočetních systémů a automatů
2. Reprezentace informace - lineární struktury
3. Reprezentace informace - stromové struktury
4. Reprezentace informace - tabulkové struktury
5. Teorie grafů
6. Procházení a vyhledávání informací v grafech
7. Analýza a zjišťování informací z datových úložišť
8. Optimalizace
9. Genetické algoritmy
10. Genetické programování
11. Systémy hormadné obsluhy -
12. Dokonc(ení cvičení a modulových testů.
13. Praktická zkouška.
14. Závěrečný teoretický test.

Učební cíle

Cílem kurzu je seznámit studenty s teorií informace, variantami reprezentace informace, metodami zpřístupnění informace a způsoby dolování informací z dat s využitím výpočetních systémů.

Vymezení kontrolované výuky a způsob jejího provádění a formy nahrazování zameškané výuky

Vymezení kontrolované výuky a způsob jejího provádění stanoví každoročně aktualizovaná vyhláška garanta předmětu.

Doporučená literatura

Leuwen, J., Watanabe, O., Hagiya, M.: Exploring New Frontiers of Theoretical Informatics. Springer, 2000. (EN)

Zařazení předmětu ve studijních plánech

  • Program EEKR-MN magisterský navazující

    obor MN-TIT , 1 ročník, zimní semestr, povinný

Typ (způsob) výuky

 

Přednáška

39 hod., nepovinná

Vyučující / Lektor

doc. Ing. Radim Burget, Ph.D.

Osnova

Úvod do teoretické informatiky.
Základy teorie grafů.
Deterministické a nedeterministické algoritmy.
Datové struktury a objekty.
Teorie algoritmů.
Základy teorie front.
Teorie distribuovaných algoritmů a výpočty.
Stochastické procesy.
Teorie optimalizace a genetické algoritmy.
Vizualizace informací.
Vyhledávání informací.
Teorie zabezpečení informací.
Teorie komprese dat.

Cvičení na počítači

26 hod., povinná

Vyučující / Lektor

doc. Ing. Radim Burget, Ph.D.

Osnova

Úvod do programovacího jazyku JAVA.
Objekty a třídy.
Rozhraní a balíky.
Datové struktury a operátory.
Tvorba tříd a aplikací.
Tvorba a ošetření výjimek.
Tvorba appletu.
Grafika a animace.
Interaktivita a zpracování událostí.
Thready a multithreading.
Síťové programování.
Programovací nástroje jazyku JAVA.
Kontrolní cvičení a zápočet.