Bc. Pavel Vyhlídal

Master's thesis

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

The Solution and Generation of Deterministic and Nondeterministic Logical Tasks\nl{}
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 …more
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 …more
 
 
Language used: Czech
Date on which the thesis was submitted / produced: 16. 5. 2013
Accessible from:: 16. 5. 2013

Thesis defence

  • Supervisor: Ing. Roman Šenkeřík, Ph.D.

Citation record

The right form of listing the thesis as a source quoted

Vyhlídal, Pavel. Řešení a generování deterministických a nedeterministických logických úloh.. Zlín, 2013. diplomová práce (Ing.). Univerzita Tomáše Bati ve Zlíně. Fakulta aplikované informatiky

Full text of thesis

Accessibility: Autor si přeje zpřístupnit práci veřejnosti od 16.5.2013

Contents of on-line thesis archive
Published in Theses:
  • Soubory jsou od 16. 5. 2013 dostupné: autentizovaným zaměstnancům ze stejné školy/fakulty
Other ways of accessing the text
Institution archiving the thesis and making it accessible: Univerzita Tomáše Bati ve Zlíně, Fakulta aplikované informatiky
Plny text prace je k dispozici v elektronicke podobe

Tomas Bata University in Zlín

Faculty of Applied Informatics

Master programme / field:
Engineering Informatics / Information Technologies

Theses on a related topic