Návrh a implementace výukové hry typu zebra

Abstract

Předložená práce se soustřeďuje na implementaci aplikace generující zadání k logickým úlohám typu zebra. Hlavní náplní vytvoření takového software je definování typů indicií (predikátů), algoritmů pro generování všech indicií k danému řešení a minimální množiny indicií postačující k dosažení řešení. Toto řešení bylo předem definováno uživatelem. Pro definování tohoto řešení uživatelem aplikace zahrnuje jednoduché grafické uživatelské rozhraní umožňující zadání úlohy a jejího řešení v několika krocích. Program je dále rozšiřitelný. Mohou být definovány a přidány další typy indicií pro různější a rozmanitější vygenerované úloh. A dále vytvoření herní verze aplikace, která by umožnila řešit hráči úlohy vygenerované původní částí aplikace.