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

Bc. Pavel Vyhlídal

Master's thesis

The Solution and Generation of Deterministic and Nondeterministic Logical Tasks\nl{}

Anotácia:

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.

Abstract:

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.

Kľúčové slová

logické úlohy, zebra puzzle, rekurze.

Jazyk práce: Czech

Datum vytvoření / odevzdání či podání práce: 16. 5. 2013

Zverejniť od: 16. 5. 2013

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

• Vedúci: Ing. Roman Šenkeřík, Ph.D.

Tomas Bata University in Zlín

Faculty of Applied Informatics

Master programme / odbor:
Engineering Informatics / Information Technologies