FPF:UIDI011 Teorie vyčíslitelnosti a složi - Informace o předmětu
UIDI011 Teorie vyčíslitelnosti a složitosti
Filozoficko-přírodovědecká fakulta v Opavěléto 2014
- Rozsah
- 0/0. 0 kr. Ukončení: dzk.
- Garance
- doc. Ing. Petr Sosík, Dr.
Ústav informatiky – Filozoficko-přírodovědecká fakulta v Opavě - 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
- Autonomní systémy (program FPF, P1801 Inf)
- Cíle předmětu
- Jsou předvedeny základní abstraktní modely výpočtu - Turingův stroj a stroj RAM. Na jejich bázi je vybudován koncept strojové vyčíslitelnosti, ukázána existence nevyčíslitelných problémů a jejich typické příklady. Dále je zavedena asymptotická výpočetní složitost algoritmů, umožňující porovnávat spotřebu paměti a strojového času bez vazby na konkrétní počítač. Obsahová náplň cvičení vychází a časově sleduje obsahovou náplň přednášky.
- Informace učitele
- Zápočet:
- vypracování Turingova stroje dle individuálního zadání
- nejméně 50% bodů z dílčích zápočtových písemek na seminářích
Zkouška:
- nejméně 50% bodů ze zkouškové písemky zahrnující celý rozsah látky - Další komentáře
- Předmět je dovoleno ukončit i mimo zkouškové období.
- Statistika zápisu (léto 2014, nejnovější)
- Permalink: https://is.slu.cz/predmet/fpf/leto2014/UIDI011