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

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

• Operační systémy (státnice)
• Distribuované systémy
• Architektura počítačů a sítí

Spolehlivé systémy

• Modely a verifikace programů
• Vestavěné systémy a systémy reálného času
• Moderní softwarové 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:

Řešené_otázky_NTIN090

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