Počítačové systémy

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