FI:I017 Strukturní složitost - Informace o předmětu
I017 Strukturní složitost
Fakulta informatikyzima 1997
- Rozsah
- 2/0. 2 kr. Doporučované ukončení: zk. Jiná možná ukončení: k, z.
- Vyučující
- prof. RNDr. Ivana Černá, CSc. (přednášející)
- Garance
- Kontaktní osoba: prof. RNDr. Ivana Černá, CSc.
- Předpoklady
- I012 Složitost
Přednáška navazuje na kurs I012 Složitost. - Omezení zápisu do předmětu
- Předmět je nabízen i studentům mimo mateřské obory.
- Mateřské obory/plány
- Informatika (program FI, B-IN)
- Informatika (program FI, M-IN)
- Učitelství výpočetní techniky pro střední školy (program FI, M-IN)
- Učitelství výpočetní techniky pro střední školy (program FI, M-SS)
- Výpočetní technika (program FI, B-IN)
- Osnova
- Více o složitostních třídách; jejich struktura a vlastnosti. Srovnání různých složitostních mír.
- Techniky pro získávání dolních odhadů složitosti.
- Polynomiální hierarchie.
- Výpočty, které počítají.
- Alternování a hry. Interaktivní protokoly.
- Interaktivní důkazové systémy. Důkazy s nulovou znalostí a transparentní důkazy. Pravděpodobnostní ověřování důkazů a programů.
- Informace učitele
- http://www.fi.muni.cz/usr/cerna/i017.html
- Statistika zápisu (zima 1997, nejnovější)
- Permalink: https://is.muni.cz/predmet/fi/zima1997/I017