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

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.