Řešení a generování deterministických a nedeterministických logických úloh

Vyhlídal, Pavel

Řešení a generování deterministických a nedeterministických logických úloh

DSpace Repository

Language: English čeština

Řešení a generování deterministických a nedeterministických logických úloh

dc.contributor.advisor	Šenkeřík, Roman
dc.contributor.author	Vyhlídal, Pavel
dc.date.accessioned	2013-10-11T17:12:16Z
dc.date.available	2013-10-11T17:12:16Z
dc.date.issued	2013-02-22
dc.identifier	Elektronický archiv Knihovny UTB	cs
dc.identifier.uri	http://hdl.handle.net/10563/24346
dc.description.abstract	Cílem diplomové práce je generování logických úloh pomoci deterministických a nedeterministických algoritmů. V práci jsou vybrány vhodné řešitelné úlohy a následně jsou k nim navrženy algoritmy umožňujících generování a kontrolu správnosti zadání logických úloh. Tyto algoritmy jsou implementovány v jazyce PHP a zpřístupněny přes webové rozhraní. Odezvy uživatelů při řešení těchto úloh jsou zaznamenávány do logů pro další zpracování. V závěru je vyhodnocena složitost a problémy při řešení jednotlivých úloh a jejich variant.	cs
dc.format	53	cs
dc.format.extent	3122230 bytes	cs
dc.format.mimetype	application/zip	cs
dc.language.iso	cs
dc.publisher	Univerzita Tomáše Bati ve Zlíně
dc.rights	Bez omezení
dc.subject	logické úlohy	cs
dc.subject	zebra puzzle	cs
dc.subject	rekurze	cs
dc.subject	brain teaser	en
dc.subject	zebra puzzle	en
dc.subject	recursion	en
dc.title	Řešení a generování deterministických a nedeterministických logických úloh	cs
dc.title.alternative	The Solution and Generation of Deterministic and Nondeterministic Logical Tasks	en
dc.type	diplomová práce	cs
dc.contributor.referee	Kotyrba, Martin
dc.date.accepted	2013-06-05
dc.description.abstract-translated	The aim of this study is to generate a logical task using deterministic and non-deterministic algorithms. The work included the selection of appropriate solvable problems as well as the subsequent design of algorithms, which enable generating and checking the correctness of input logic tasks. These algorithms are implemented in PHP language and made available through a web interface. Using logging, feedback from users who dealt with these problems is gathered. Finally, the complexity of the individual problems and their variants, as well as problem which occurred while solving them, are evaluated.	en
dc.description.department	Ústav informatiky a umělé inteligence	cs
dc.description.result	obhájeno	cs
dc.parent.uri	http://hdl.handle.net/10563/154	cs
dc.parent.uri	http://hdl.handle.net/10563/220	cs
dc.thesis.degree-discipline	Informační technologie	cs
dc.thesis.degree-discipline	Information Technologies	en
dc.thesis.degree-grantor	Univerzita Tomáše Bati ve Zlíně. Fakulta aplikované informatiky	cs
dc.thesis.degree-grantor	Tomas Bata University in Zlín. Faculty of Applied Informatics	en
dc.thesis.degree-name	Ing.	cs
dc.thesis.degree-program	Inženýrská informatika	cs
dc.thesis.degree-program	Engineering Informatics	en
dc.identifier.stag	31309
utb.result.grade	A
dc.date.submitted	2013-05-16