Státní magisterská zkouška v programu Informatika, obor Počítačové systémy N-IN POS

1. Architektury operačních systémů.
   • Struktury OS, služby OS, architektury OS, procesy a vlákna, plánování běhu procesů a vláken, komunikace a synchronizace procesů, uváznutí, správa paměti a virtualizace paměti, ovládání vstupů a výstupů.
   • PB152, PA150
2. 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
3. Databáze.
   • Kódování dat, kompresní kódování dat, organizace souborů dat. Indexování a hašování, bitmapové indexy, dynamické hašování. Vyhodnocení dotazů, transformační pravidla, statistiky a odhady. Optimalizace dotazů a schématu. Zabezpečení báze dat, přístupová práva. Transakce, řízení souběžných transakcí, systémy obnovy transakcí po výpadku.
   • PV062, PA152, PA150
4. Modely distribuovaných systémů.
   • Základní pojmy a principy, synchronní a asynchronní komunikace. Synchronizace. Detekce ukončení. Problém vzájemného vyloučení a problém uváznutí a jejich řešení. Problém volby vedoucího prvku. Vliv topologie a její znalosti/neznalosti na složitost řešení problému.
   • PA150, IV100
5. 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
6. 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
7. Technologie přenosu dat.
   • Signály, digitální a analogové vysílání, kódování dat, multiplexing, chybové řízení, metody řízení přístupu k médiu a celkové řízení datového spoje.
   • PV169, PV183
8. Počítačové sítě.
   • 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í. Pokročilé síťové a transportní protokoly, distribuované aplikace, protokoly aplikační vrstvy.
   • PA151, PA159 , PA160
9. Informační bezpečnost.
   • Principy řízení bezpečnosti v organizaci, řízení rizik, politika informační bezpečnosti, systém řízení informační bezpečnosti, hodnocení úrovně informační bezpečnosti.
   • PV080, PV017
10. Konečné automaty (FA) a logiky nad slovy.
    • Logika 1.řádu (FOL) a monadická logika 2.řádu (MSOL): syntax a sémantika FOL a MSOL, principy převoditelnosti mezi FA a formulemi MSOL. Automaty nad nekonečnými slovy a omega-regulární jazyky.
    • IA006
11. Grafy a grafové algoritmy.
    • Formalizace základních grafových pojmů, reprezentace grafů. Souvislost grafu, barevnost, rovinné grafy. Algoritmy (včetně složitosti): prohledávání grafu do šířky a do hloubky, nejkratší vzdálenosti, kostry, toky v sítích.
    • MA010

(Verze 2019)