Knihovna logických her v prostředí Mathematica

Abstract

Bakalářská práce si klade za cíl seznámit čtenáře s pravidly, historií, variantami a různými metodami řešení vybraných logických úloh. Úvod teoretické části je věnován problematice logiky jako takové, zejména jejímu praktickému (ne)využívání v běžné komunikaci moderní lidské společnosti. Dále jsou charakterizovány hlavolamy sudoku, zebra puzzle (známy též jako Einsteinovy hádanky) a obrázkové puzzle. Následně jsou zváženy možnosti webové implementace těchto her naprogramovaných v prostředí Mathematica. Praktická část jednak podrobně popisuje vytvořené aplikace z pohledu uživatele, a jednak nastiňuje hlavní myšlenky klíčových úseků programového kódu.