Server pro podporu výuky teoretické informatiky

Abstract

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.