Předmět Složitost a vyčislitelnost (NTI / SLV)
Na serveru studentino.cz naleznete nejrůznější studijní materiály: zápisky z přednášek nebo cvičení, vzorové testy, seminární práce, domácí úkoly a další z předmětu NTI / SLV - Složitost a vyčislitelnost, Fakulta mechatroniky a MIS, Technická univerzita v Liberci (TUL).
Top 10 materiálů tohoto předmětu
Materiály tohoto předmětu
| Materiál | Typ | Datum | Počet stažení |
|---|
Další informace
Obsah
Přednášky:1. Matematické modely výpočtů, Turingův stroj.2. Rozhodnutelnost, problém zastavení, Postův problém.3. Vyčíslitelnost, rekurzivní funkce, Turingova a Churchova teze.4. Algoritmická složitost.5. Asymptotická složitost.6. Rozhodnutelnost v polynomiálním čase.7. NP-jazyky, NP-problémy, NP-úplnost.----Rozsah přímé výuky pro kombinované studium:přednášky: 5 hodin/semestr
Získané způsobilosti
Studenti získají přehled o základních pojmech souvisejících s teoretickou vyčíslitelností a složitostí algoritmů.
Literatura
Chytil, M. Automaty a gramatiky. SNTL Praha, 1984. Kučera, L. Kombinatorické algoritmy. SNTL, 1989. Wiedermann, J.: Vyhledávání, SNTL 1991.
Požadavky
Podmínkou zápočtu je aktivní účast na cvičeních, úspěšné absolvování testů.
Garant
Ing. Lenka Kosková - Třísková
Vyučující
Ing. Lenka Kosková - Třísková