Podpora stromové reprezentace úloh predikátové logiky

Petr VESELÝ

Bakalářská práce

The Support of tree representation of tasks of predicate logic

Anotace:

Bakalářská práce představuje stromovou reprezentaci predikátové logiky. Způsoby řešení logických formulí, pomocí 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 různých typů příkladů. Znalosti je pak možno otestovat a upevnit v části procvičovací, která ho prozkouší, z toho co se naučil a zapamatoval.

Abstract:

This bachelor thesis presents the tree structure representation of predicate logic. More specifically it presents methods of solving formulas using formation tree and tableau proof. It is used of animation created in flash. Animation is educational and rehearsing material. Animations content tutorial part which explains to students the correct solution of different examples solved by particular methods. Obtained knowledge can be tested and stiffned in rehearsing part. Rehearsing part probes obtained and memoried knowledge.

Klíčová slova

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

Jazyk práce: čeština

Datum vytvoření / odevzdání či podání práce: 22. 6. 2011

Zveřejnit od: 22. 6. 2011

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

• Obhajoba proběhla 23. 8. 2011
• Vedoucí: Mgr. Martin Žáček

OSTRAVSKÁ UNIVERZITA V OSTRAVĚ

Přírodovědecká fakulta

Bakalářský studijní program / obor:
Aplikovaná informatika / Informatika a výpočetní technika - aplikovaná informatika