- Přehled a základní rysy programovacích paradigmat - funkcionální, procedurální, objektové
- Symbolické výrazy a jejich vyhodnocování v jazyce Common Lisp
- Rekurzivní funkce a rekurzivní výpočetní proces
- Funkce vyššího řádu
- Lexikální a dynamický rozsah platnosti proměnných
- Makra
- Líné vyhodnocování v datových strukturách, přísliby a proudy
- Líné vyhodnocování v programovacích jazycích, aplikativní a normální model vyhodnocení
- Zásobníkový model vyhodnocování
- Objektově orientované programování - třídy a objekty, zprávy a metody
- Zapouzdření, polymorfismus, rozhraní, dědičnost (jednoduchá i vícenásobná)
- Pravidlo is-a, princip B. Liskovové, kontraktové programování
- OOP založené na prototypech
- Příklad jednoho nebo více objektově orientovaných jazyků (Java, C sharp, C++, Common Lisp, Python, …) a jejich objektově orientované rysy
- Paralelní program - proces, stavy, plánovač, stav programu, historie, slabá férovost
- Atomické operace
- Programová logika, invarianty, dokazování
- Problém kritické sekce - vlastnosti, Petersonův a Dekkerův algoritmus
- Semafory - operace, invarianty, implementace a použití
- Večeřící východní mudrci, čtenáři a písaři, výrobci a spotřebitelé
- Bariéry, paralelní součet prefixů
- Logické programování - pravidla, cíl substituce, unifikace, úsudek, strom úsudků
- Aritmetika v logickém programování
- Softwarový proces, jeho fáze a jeho modely (vodopádový, evoluční, iterativní)
- Specifikace požadavků (druhy požadavků, metody zjišťování požadavků, diagram případů užití)
- Návrh systému a využití jazyka UML při návrhu (diagram tříd, sekvenční diagram, stavový diagram, diagram aktivit)
- Sestavení kvalitního kódu (formátování kódu, efektivní využívání deklarací, konvence zápisu funkcí a jejich parametrů, zásady pro psaní příkazů)
- Testování programu (metody testování, úrovně testování, kategorie chyb)
- Návrhové vzory a vzory architektur SW
- Verze software a systémy pro správu verzí
- Relační model databáze - atributy, n-tice, relace, relační proměnné, charakteristické vlastnosti relací
- Relační algebra - množinové operace, restrikce, projekce, přirozené spojení, přejmenování atributů, relační dělení
- SELECT výraz v SQL
- Kontrola integrity - primární a alternativní klíče, cizí klíče
- Funkční závislosti, Boyceho-Coddova normální forma, normalizace
- Pohledy v SQL
- Agregace, slučování a rozdělování atributů, řazení v SQL
- Počítačové sítě, jejich služby a architektury
- Ethernet - přepínač, použití média, linkový rámec
- Protokol IP - paket, adresy a podsítě, směrování
- Protokoly TCP a UDP - spojení a řízení toku dat
- Systém DNS
- Aplikační služby a tvorba síťových aplikací
- Bezpečnost počítačových sítích
- Architektury a princip činnosti počítače
- Číselné soustavy
- Binární logika, logické operace a jejich vlastnosti, funkce a jejich úpravy, logické obvody
- Reprezentace čísel a znaků v počítači
- Detekční a samoopravné kódy
- Operační systém, architektura, poskytovaná rozhraní
- Vykonávání programu a proces překladu
- Správa procesoru - procesy a vlákna, plánování jejich běhu, komunikace a synchronizace
- Problém uváznutí, jeho detekce a metody předcházení
- Správa operační paměti - segmentace, stránkování, virtuální paměť
- Přidělování a uvolňování paměti v uživatelských procesech, garbage collector