Teorie složitosti

Jan Pánek

Bakalářská práce

Computational complexity theory

Anotace:

Cílem práce bylo připravit výukové prostředí dostupné pomocí běžně užívaného internetového prohlížeče pro podporu výuky předmětu Teoretické základy informatiky. Může být vhodným rozšířením standardních doprovodných materiálů tohoto předmětu jak v teoretické rovině, kde sice vychází také z Turingova stroje jako formalizace pojmu algoritmus podobně jako přednáškové materiály, tak v praktické části, kde studenti naleznou několik příkladů, jejichž podrobnost zpracování roste přímo úměrně s úrovní znalostí dostupných ve www prezentaci.Kompaktní celek na adrese http://lide.uhk.cz/panekja1 není a ani nemůže být vzhledem k předpokládanému rozsahu bakalářské práce encyklopedicky zpracovaným přehledem definic, vět a jejich důkazů týkajících se oboru Teorie složitosti. Uvedení základních definic se ale nelze vyhnout a jestliže bylo třeba zachovat určitou matematickou přesnost vyjadřování a pokud již definice uvedeny jsou, je k nim ve většině případech uveden podrobný výklad s řadou doplňkových příkladů.Věřím, že www prezentace zpracovaná v rámci této bakalářské práce může přispět k rozšíření znalostí a přehledu studujících obor Teorie složitosti a vyčíslitelnosti a poskytne oporu při řešení některých příkladů často se například vyskytujích v písemných zkouškách či zápočtových testech.

Abstract:

The aim of the thesis was to create a learning environment widely accessible through common internet browser as a supporting teaching tool for study of Theoretical Informatics. It should represent a useful extension ofstandard teaching materials for this study both at theoretical level, where it builds on Turing Machine representing the formalization of concept of algorithm similarly to lecturing materials, and in practical part, where several examples can be found. Level of detail of the examples is directly proportional to the level of knowledge available in the web-based presentation.Due to the limited scope of the bachelor thesis, its compact outcome, which is available at http://lide.uhk.cz/panekja1, cannot be perceived as an encyclopedically elaborated overview of definitions, theorems and theirproofs related to Computational Complexity Theory. Nevertheless, citation of basic definitions was inescapable. Additional detailed reading with series of complementary examples is then presented for the most of the included definitions in order to maintain mathematicallyaccurate phrasing.I believe that the web-based presentation introduced within this bachelor thesis can contribute to extension of knowledge and scope of students of Complexity and Computability Theory and it will provide a support forsolution of exercises, which frequently occur in written examinations or in assessment tests.

Klíčová slova

informatika teoretická, prostředí výukové, Turingův stroj

Jazyk práce: čeština

Datum vytvoření / odevzdání či podání práce: 3. 9. 2009

Obhajoba závěrečné práce

• Obhajoba proběhla 15. 9. 2009
• Vedoucí: Josef Hynek
• Oponent: Antonín Slabý

Univerzita Hradec Králové

Fakulta informatiky a managementu

Bakalářský studijní program / obor:
Aplikovaná informatika / Aplikovaná informatika