Informační systémy

1. Algoritmy a datové struktury. Analýza složitosti, amortizovaná složitost. Techniky návrhu algoritmů (rozděl a panuj, dynamické programování, hladové strategie). Pokročilé datové struktury (haldy, union-find struktury). Algoritmy pro práci s řetězci (algoritmy Karp-Rabin, KMP, Boyer-Moore, užití konečných automatů).
   IV003
2. Matematická logika. Výroková a predikátová logika, syntaxe, sémantika. Odvozovací systémy, formální důkazy. Korektnost a úplnost odvozovacích systémů. Gödelovy věty o neúplnosti.
   MA007
3. Statistika. Popisná statistika, funkcionální a číselné charakteristiky znaků. Diskrétní a spojité náhodné veličiny (NV), základní rozložení. Číselné charakteristiky NV. Centrální limitní věta. Bodové odhady, intervaly spolehlivosti, testování statistických hypotéz, hladina významnosti. Základní parametrické a neparametrické testy, ANOVA, testy nezávislosti NV. Lineární regrese, celkový F-test, dílčí t-testy.
   MV011
4. Softwarové inženýrství. Proces vývoje SW. Metodika Unified Process. Agilní vývoj SW. Fáze testování a typy testů. Softwarové metriky, refaktoring kódu. Kvalita softwaru. Odhadování nákladů a času vývoje SW. Údržba a znovupoužitelnost.
   PA017, PA104
5. Objektové metody návrhu systémů. Návrhové vzory. Softwarové architektury. Rozhraní komponent, signatury a omezující podmínky služeb, OCL. Komponentové systémy a modely, kvalitativní aspekty služeb (QoS). Objektové metody vývoje softwaru, RUP.
   PA103
6. Databáze. Ukládání dat, adresace záznamů. Indexování a hašování pro více atributů, bitmapové indexy, dynamické hašování. Vyhodnocení dotazů, transformační pravidla, statistiky a odhady. Optimalizace dotazů a schématu. Transakční zpracování, výpadky a zotavení. Zabezpečení DB, přístupová práva.
   PA152
7. Počítačové sítě. Základní pojmy, principy, architektury. Spojované a nespojované sítě, OSI model, protokoly v prostředí Internetu. Směrování, základní služby počítačových sítí, správa a bezpečnost sítí.
   PA151, PA159
8. Bezpečnost v IT. Úvod do bezpečnosti IT, základní pojmy a principy, standardy bezpečnosti IT, kritéria hodnocení. Kryptografie, její principy a využití, správa klíčů a protokoly. Autentizace dat, digitální podpis. Autentizace uživatelů, biometriky.
   PV080, popř. PV157
9. Informační systémy a zpracování informací. Důvody potřeby IS pro řízení, jejich cíle, problémy analýzy a návrhu. Problematika IS v oblastech výroby, státní správy, zdravotnictví, geografii (dle výběru studenta). Základy systémů pro vyhledávání, hodnocení relevance výsledků, techniky indexování.
   PV028, PV043, PV019, PV211, PA128, atp.
10. Ochrana dat a informačního soukromí. Pojem informačního soukromí a relevantních technických aspektů, vliv IT. Ochrana osobních dat a legislativa. Etika, profesionalita a práce s informacemi. Průhlednost způsobu nakládání s informacemi. Veřejné informační služby, poskytování informací ve státní správě.
    PV080, popř. PV118