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ů.
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ů).
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.
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.
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.
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.
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.
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.
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.
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.