Podpora stromové reprezentace úloh predikátové logiky

Petr VESELÝ

Bachelor's thesis

The Support of tree representation of tasks of predicate logic

Anotácia:

Bakalářská práce představuje stromovou reprezentaci predikátové logiky. K řešení různých typů logických formulí je použito formačního stromu formule a tablových důkazů. Jako řešení, je zvoleno flash animací, které slouží jako výukový a procvičovací materiál. V animacích je zahrnuta výuková část, která studenta naučí, jak správně řešit jednotlivé postupy u různých typů příkladů. V části procvičovací je možno otestovat a upevnit studentovy získané znalosti a dovednosti z výukové části.

Abstract:

This bachelor thesis presents the tree structure representation of predicate logic. More specifically it presents methods of solving formulas using formation tree and tableaux proof. It is used of animation created in flash. Animation is educational and rehearsing material. Animations include learning part which instruct students how to solve each of different excercises correctly by using particular solving methods. Practice part gives oppopurnity to test and strengthen student's obtained knowledge learned in learning part.

Kľúčové slová

predikátová logika, animace, Flash, formační strom, tablový důkaz

Jazyk práce: Czech

Datum vytvoření / odevzdání či podání práce: 16. 1. 2012

Zverejniť od: 16. 1. 2012

Obhajoba závěrečné práce

• Vedúci: Mgr. Martin Žáček

University of Ostrava

Faculty of Science

Bachelor programme / odbor:
Applied Information Science / Information Science and Computer Technology - Applied Information Science