* '''[[Bakalářská státnice - Informatika - Základy informatiky - ISPS - Základy teoretické informatiky|Základy teoretické informatiky]]'''
Logika – jazyk, formule, sémantika, tautologie. Rozhodnutelnost, splnitelnost, pravdivost, dokazatelnost. Normální tvary výrokových formulí, prenexní tvary formulí predikátové logiky. Automaty – Chomského hierarchie, třídy automatů a gramatik, determinismus a nedeterminismus.
* '''[[Bakalářská státnice - Informatika - Základy informatiky - ISPS - Algoritmy a datové struktury|Algoritmy a datové struktury]]'''
Časová složitost algoritmů, složitost v nejhorším a průměrném případě. Třídy složitosti P a NP, převoditelnost, NP-úplnost. Binární vyhledávací stromy, vyvažování, haldy. Hašování. Sekvenční třídění, porovnávací algoritmy. Grafové algoritmy - prohledávání do hloubky a do šířky, souvislost, topologické třídění, nejkratší cesta, kostra grafu. Tranzitivní uzávěr. Algoritmy vyhledávání v textu. Algebraické algoritmy - DFT, Euklidův algoritmus. Základy kryptografie, RSA, DES.
* '''[[Bakalářská státnice - Informatika - Základy informatiky - ISPS - Databáze|Databáze]]'''
Podstata a architektury DB systémů. Normální formy. Referenční integrita. Transakční zpracování, vlastnosti transakcí, uzamykací protokoly, zablokování. Základy SQL. Indexy, triggery, uložené procedury, uživatelé, uživatelská práva. Vícevrstevné architektury. Vazba databází na internetové technologie. Správa databázových systémů.
* '''[[Bakalářská státnice - Informatika - Základy informatiky - ISPS - Architektura počítačů a operačních systémů|Architektura počítačů a operačních systémů]]'''
Architektury počítače. Procesory, multiprocesory. Sběrnice, protokoly. Vstupní a výstupní zařízení, přenos dat. Technologie dálkového přenosu dat. Velkokapacitní záznamová média, zálohování, technologie ukládání a zabezpečení záznamů. Architektury OS. Vztah OS a HW, obsluha přerušení. Procesy, vlákna, plánování. Synchronizační primitiva, vzájemné vyloučení. Zablokování a zotavení z něj. Organizace paměti, alokační algoritmy. Principy virtuální paměti, stránkování, algoritmy pro výměnu stránek, výpadek stránky, stránkovací tabulky, segmentace. Systémy souborů, adresářové struktury. Bezpečnost, autentifikace, autorizace, přístupová práva. Druhy útoků a obrana proti nim. Kryptografické algoritmy a protokoly.
* '''[[Bakalářská státnice - Informatika - Základy informatiky - ISPS - Sítě a internetové technologie|Sítě a internetové technologie]]'''
Architektura ISO/OSI. Rodina protokolu TCP/IP (ARP, IPv4, IPv6, ICMP, UDP, TCP) - adresace, routing, fragmentace, spolehlivost, flow control, congestion control, NAT. Rozhraní BSD sockets. Spolehlivost - spojované a nespojované protokoly, typy, detekce a oprava chyb. Bezpečnost - IPSec, principy fungování AH, ESP, transport mode, tunnel mode, firewalls. Internetové a intranetové protokoly a technologie - DNS, SMTP, FTP, HTTP, NFS, HTML, XML, XSLT a jejich použití.
* '''[[Bakalářská státnice - Informatika - Základy informatiky - ISPS - Administrace systémů - Unix|Administrace systémů - Unix]]'''
* '''[[Bakalářská státnice - Informatika - Základy informatiky - ISPS - Administrace systémů - Windows|Administrace systémů - Windows]]'''
Instalace systému, plánování síťové topologie, rozklad zátěže . Zabezpečení, systém práv, správa uživatelských účtů. Síťové, systémové a adresářové služby, vzdálený přístup. Zálohování, automatizace úkolů, synchronizace, zotavení systému. Konkrétní souborové systémy. Instalace software, hromadná, vzdálená a odložená instalace. Činnost systému při spouštění a ukončování, konfigurace. Skriptování a shelly. (Student si zvolí konkrétní platformu, buď Windows nebo Unix.)
