Server pro podporu výuky teoretické informatiky

Abstract

Tato práce se zabývá implementací a problematikou algoritmů pro zprostředkování postupů a výsledků úloh používaných při výuce výrokové logiky, kterými jsou tabulková metoda, rezoluční metoda a logicky ekvivalentní úpravy pro převod formule do normálních forem. Popisuje a vysvětluje algoritmy pro zpracování uživatelského vstupu a pro každý typ úlohy. Výsledkem je webová aplikace dostupná z internetu, která uživateli poskytne automatizovaný postup při řešení těchto problémů.

This thesis deals with algorithms for visualization of procedures and results of propositional's logic tasks in education, which are table method, resolution method and logically equivalent edits for transformation of formulas to normal forms. There is the description and explanation of used algorithms for user's input and each type of task. Web application with automatic visualization of the gradual approach to task results is the result of this thesis.