Okruhy SZZ - povinné
Informační technologie
I. Základy teoretické informatiky
- Konečné automaty, regulární výrazy, uzávěrové vlastnosti třídy regulárních jazyků.
- Bezkontextové gramatiky a jazyky. Zásobníkové automaty, jejich vztah k bezkontextovým gramatikám.
- Matematické modely algoritmů - Turingovy a RAM stroje. Složitost algoritmů, asymptotické odhady. Algoritmicky nerozhodnutelné problémy.
- Třídy složitosti problémů, Třída PTIME, Třída NPTIME, NP-úplné problémy.
- Pojem relace, homogenní a heterogenní relace, vlastnosti relacím operace s relacemi. Typy binárních relací. Relace ekvivalence a relace uspořádání.
- Obecný pojem operace a obecný pojem algebra. Algebry s jednou a dvěma binárními operacemi. Homomorfismy. Grupy, Booleovy algebry.
- Obecná rezoluční metoda a logické programování: rezoluční pravidlo a algoritmus unifikace v predikátové logice 1. řádu.
- Pojem (přímého a nepřímého) důkazu. Úplnost důkazových kalkulů v predikátové logice 1. řádu, (ne)rozhodnutelnost, neúplnost teorií obsahujících aritmetiku.
II. Softwarové inženýrství
- Softwarový proces. Jeho definice, modely a vyspělostní úrovně.
- Vymezení fáze „sběr a analýza požadavků“. Diagramy UML využité ve fázi specifikace požadavků.
- Vymezení fáze „Návrh“. Návrhové vzory – členění a příklady.
- Objektově orientované paradigma. Pojmy třída, objekt, rozhraní. Základní vlastnosti objektu a vztah ke třídě. Základní vztahy mezi třídami a rozhraními. Třídní vs. instanční vlastnosti.
- Mapování UML diagramů na kód
- Moderní programovací jazyky: správa paměti, virtuální stroj, podpora paralelního zpracování, vlákna, zpracování chyb, princip datových proudů – pro vstup a výstup. Rozdíl mezi textovým a binárním datovým proudem.
- Jazyk UML – typy diagramů a jejich využití v rámci vývoje.
- Deklarativní programovací jazyky, význam funkcionálního a logického programování.
- Struktura a činnost, tvar zdrojového a cílového programu. Interpretační a kompilační překlad.Fáze překladu, vnitřní struktura překladače.
- Atributovaný syntaxí řízený překlad. Sémantické akce.
III. IS (Teorie zpracování dat, Databázové a informační Systémy, Tvorba Informačních systémů)
- Modelování databázových systémů, konceptuální modelování, datová analýza, funkční analýza; nástroje a modely.
- Relační datový model, SQL; funkční závislosti, dekompozice a normální formy.
- Transakce, zotavení, log, ACID, operace COMMIT a ROLLBACK; problémy souběhu, řízení souběhu: zamykání, úroveň izolace v SQL.
- Procedurální rozšíření SQL, PL/SQL, triggery, funkce, procedury, kurzory, hromadné operace.
- Datové struktury a indexy – stránkování, B‐strom a bitmapový index; implementace úložiště pro relační datový model; vykonávání dotazů, ladění dotazů, algoritmy spojení.
- Objektově‐relační datový model a XML datový model: principy, dotazovací jazyky.
- Datová vrstva informačního systému; existující API, rámce a implementace, bezpečnost; objektově‐relační mapování.
- Distribuováne SŘBD, fragmentace a replikace.
IV. Počítačová grafika - UŽ TAM NENÍ
- Základní metody výstupu grafické informace. Technické a softwarové prostředky pro grafický výstup.
- Reprezentace barev (systémy RGB, HSV, HLS, CMY, CMYK).
- Komprese obrázků, zejména ztrátová komprese JPEG a MPEG.
V. Počítače a sítě
- Architektura univerzálních mikroprocesorů. Principy urychlování činnosti procesorů.
- Základní vlastnosti monolitických počítačů a jejich typické integrované periférie. Možnosti použití.
- Struktura OS a jeho návaznost na technické vybavení počítače.
- Protokolová rodina TCP/IP.
- Metody sdíleného přístupu ke společnému kanálu.
- Problémy směrování v sítích. Adresování IP, překlad adres (NAT).
- Bezpečnost počítačových sítí s TCP/IP: útoky, paketové filtry, stavový firewall. Šifrování a autentizace, virtuální privátní sítě.
Zdroj: http://www.cs.vsb.cz/Files/main_pdf_files/szz_mgr_it_1011.pdf [5.1.2012]