Státnice - Informatika - I2: Softwarové systémy
http://www.mff.cuni.cz/studium/bcmgr/ok/i3b52.htm
Státnice -- Softwarové systémy
Složitost a vyčíslitelnost -- Tvorba algoritmů (10🎓), NP-úplnost (15🎓), Aproximační algoritmy (6🎓), Vyčíslitelné funkce a rekurzivní množiny (8🎓), Nerozhodnutelné problémy (9🎓), Věty o rekurzi (6🎓)
Datové struktury -- Stromy (32🎓), Hašování (13🎓), Třídění (10🎓)
Databázové systémy -- Formální základy: Relace (12🎓), Datalog (9🎓), Ostatní (0🎓) Modely a jazyky: SQL (7🎓), DIS (7🎓), Odborné (3) Implementace: Transakce (5🎓), Indexace (10🎓), Komprese (3)
Softwarové inženýrství -- Programovací jazyky a překladače, Objektově orientované a komponentové systémy, Analýza a návrh softwarových systémů
Systémové architektury -- Operační systémy, Distribuované systémy, Architektura počítačů a sítí
Počítačová grafika -- Geometrické modelování a výpočetní geometrie, Analýza a zpracování obrazu, počítačové vidění a robotika, 2D počítačová grafika, komprese obrazu a videa, Realistická syntéza obrazu, virtuální realita
🎓 - znamená kolikrát byla otázka u státnic
Obsah
Databázové systémy
- Formální základy databázové technologie
- Databázové modely a jazyky
- Implementace databázových systémů
Softwarové inženýrství
- Programovací jazyky a překladače
- Objektově orientované a komponentové systémy
- Analýza a návrh softwarových systémů
Systémové architektury
Spolehlivé systémy
Počítačová grafika
- Geometrické modelování a výpočetní geometrie
- Analýza a zpracování obrazu, počítačové vidění a robotika
- 2D počítačová grafika, komprese obrazu a videa
- Realistická syntéza obrazu, virtuální realita
Okruhy povinné pro obory I2 a I3
Existuje i stručnější výcuc pro I2, sloučený s otázkami na ZSV:
Chcete-li otázky výrazně upravovat a dopracovávat, nebo získat pěkné PDF pro tisk, přečtěte si, prosím, návod. -- Tuetschek 11:41, 22 Sep 2010 (CEST)
Základy složitosti a vyčíslitelnosti
- Metody tvorby algoritmů (rozděl a panuj, dynamické programování, hladový algoritmus)
- NP-úplnost (úplné problémy pro třídu NP, Cook-Levinova věta, pseudopolynomiální algoritmy, silná NP-úplnost)
- Aproximační algoritmy a schémata
- Algoritmicky vyčíslitelné funkce, jejich vlastnosti, ekvivalence jejich různých matematických definic, částečně rekurzivní funkce
- Algoritmicky nerozhodnutelné problémy (halting problem)
- Věty o rekurzi a jejich aplikace: příklady, Riceova věta
Datové struktury
K dispozici je souhrn i detailnější popis otázek:
- Stromové vyhledávací struktury (binární stromy a jejich vyvažování, haldy, trie, B-stromy a jejich varianty)
- Hašování (řešení kolizí, univerzální hašování, perfektní hašování)
- Třídění ve vnitřní a vnější paměti.
Státnice -- Softwarové systémy
Složitost a vyčíslitelnost -- Tvorba algoritmů (10🎓), NP-úplnost (15🎓), Aproximační algoritmy (6🎓), Vyčíslitelné funkce a rekurzivní množiny (8🎓), Nerozhodnutelné problémy (9🎓), Věty o rekurzi (6🎓)
Datové struktury -- Stromy (32🎓), Hašování (13🎓), Třídění (10🎓)
Databázové systémy -- Formální základy: Relace (12🎓), Datalog (9🎓), Ostatní (0🎓) Modely a jazyky: SQL (7🎓), DIS (7🎓), Odborné (3) Implementace: Transakce (5🎓), Indexace (10🎓), Komprese (3)
Softwarové inženýrství -- Programovací jazyky a překladače, Objektově orientované a komponentové systémy, Analýza a návrh softwarových systémů
Systémové architektury -- Operační systémy, Distribuované systémy, Architektura počítačů a sítí
Počítačová grafika -- Geometrické modelování a výpočetní geometrie, Analýza a zpracování obrazu, počítačové vidění a robotika, 2D počítačová grafika, komprese obrazu a videa, Realistická syntéza obrazu, virtuální realita
🎓 - znamená kolikrát byla otázka u státnic
