Petr VESELÝ

Bachelor's thesis

Podpora stromové reprezentace úloh predikátové logiky

The Support of tree representation of tasks of predicate logic
Abstract:
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í …more
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 …more
 

Keywords

predikátová logika animace Flash formační strom tablový důkaz
 
Language used: Czech
Date on which the thesis was submitted / produced: 16. 1. 2012
Accessible from:: 16. 1. 2012

Thesis defence

  • Supervisor: Mgr. Martin Žáček

Citation record

Cite this text
The right form of listing the thesis as a source quoted

VESELÝ, Petr. Podpora stromové reprezentace úloh predikátové logiky. Ostrava, 2012. bakalářská práce (Bc.). OSTRAVSKÁ UNIVERZITA V OSTRAVĚ. Přírodovědecká fakulta

Full text of thesis

Accessibility: Autor si přeje zpřístupnit práci veřejnosti od 16.1.2012

Contents of on-line thesis archive
Published in Theses:
  • Soubory jsou od 16. 1. 2012 dostupné: autentizovaným zaměstnancům ze stejné školy/fakulty, autentizovaným studentům ze stejné školy/fakulty
Other ways of accessing the text
Institution archiving the thesis and making it accessible: OSTRAVSKÁ UNIVERZITA V OSTRAVĚ, Přírodovědecká fakulta

University of Ostrava

Faculty of Science

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

Theses on a related topic

List of theses with an identical keyword.
All theses