Knihovna logických her v prostředí Mathematica

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.
The bachelor's thesis aims to acquaint the reader with the rules, history, variants and different methods of solving selected brain teasers. The beginning of the theoretical part is devoted to the logic itself, especially its practical (not) use within the normal communication of modern human society. Furthermore, puzzles such as sudoku, zebra puzzle (also known as Einstein's riddle) and jigsaw puzzle are characterized. Then, the possibility of implementing these games programmed in Mathematica into the web environment is considered. The practical part describes created applications from a user's perspective in detail, and also outlines the main ideas of key sections of code.
Ústav automatizace a řídicí techniky