1. Povinné předměty

KMI/KOM Komprese dat

1. Základní pojmy, taxonomie metod, míry komprese, typy modelů dat, pravděpodobnostní a Markovův model datnevypracovano
2. Run-length encoding a Move-to-front kódovánínevypracovano
3. Kódování čísel - unární kód, Eliasovy, Fibonacciho a Golombovy kódynevypracovano
4. Tunstallův kód a Shannon-Fanovo kódovánínevypracovano
5. Huffmanovo kódování se semi-adaptivním modelemnevypracovano
6. Huffmanovo kódování s adaptivním modelemnevypracovano
7. Aritmetické kódovánínevypracovano
8. Kontextové kódování (PPM)nevypracovano
9. Blokové tříděnínevypracovano
10. Třída slovníkových metod LZ77nevypracovano
11. Třída slovníkových metod LZ78, reprezentace slovníkunevypracovano
12. Slovníková metoda LZWnevypracovano

---

KMI/PRKL Překladače

1. Základní struktura překladačenevypracovano
2. Fáze analýzy a syntézy překladunevypracovano
3. Lexikální analýza, její úloha a konstrukce lexikálního analyzátorunevypracovano
4. Syntaktická analýza shora-dolů, gramatiky LL(1)nevypracovano
5. Konstrukce syntaktického analyzátoru metodou rekurzivního sestupunevypracovano
6. Syntaktická analýza zdola-nahorunevypracovano
7. Konstrukce syntaktického analyzátoru pro gramatiky SLR(1) LALR(1)nevypracovano
8. Sémantická analýzanevypracovano
9. Atributové gramatiky a jejich specifické typy pro analýzu shora-dolů a analýzu zdola-nahorunevypracovano
10. Interní formy programunevypracovano
11. Překlad základních příkazů programovacích jazyků do interní formynevypracovano
12. Tabulky symbolůnevypracovano
13. Metody lokální a globální optimalizace programunevypracovano
14. Generování kódu, úloha přidělování registrůnevypracovano

---

KMI/SLOZ Složitost

1. Jazyky a problémy - vztah rekurzivních a částečně rekurzivních jazyků k jazykům Chomského hierarchienevypracovano
2. Riceova věta, věta o rekurzi a jejich aplikacenevypracovano
3. Připomenutí složitosti algoritmů a tříd složitosti, speciálně tříd PTIME a NPTIME, NP-úplnost, coNPnevypracovano
4. Další třídy složitosti - Třáda PSPACE, třída NPSPACE a Savitchova větanevypracovano
5. PSPACE-úplné problémynevypracovano
6. Třídy paměťové složitosti L a NLnevypracovano
7. Alternující Turingovy stroje a příslušné třídy složitosti, s jejich vztahem ke standardním třídámnevypracovano
8. Paralelní algoritmy, výpočetní obvody, a třídy AC, NCnevypracovano
9. PTIME-úplnostnevypracovano
10. Polynomiální hierarchienevypracovano
11. Pravděpodobnostní algoritmy a příslušné třídy složitostinevypracovano

---

KMI/VYSW Vývoj software

1. Požadavky na software - uživatelské, systémové, parametrické, scénáře a případy užití, kvalitativní parametry z pohledu uživatele a vývojářenevypracovano
2. Metodiky vývoje software, model vodopád, agilní přístupnevypracovano
3. Testování software, chyba vs. vlastnostnevypracovano
4. V-model, axiomy a typy testování, automatické testování a sestavení (včetně nástrojů) - výhody a nevýhodynevypracovano
5. Prototypynevypracovano
6. Projektový management, projekt vs. operativní činnost, dimenze projektunevypracovano
7. WBS (work breakdown structure), úkoly, vazby, CPM (metoda kritické cesty), Ganntův diagram, plánování zdrojůnevypracovano