Petr VESELÝ

Bachelor's thesis

Podpora stromové reprezentace úloh predikátové logiky

The Support of tree representation of tasks of predicate logic
Anotácia:
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 …viac
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 …viac
 
 
Jazyk práce: Czech
Datum vytvoření / odevzdání či podání práce: 22. 6. 2011
Zverejniť od: 22. 6. 2011

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

  • Obhajoba proběhla 23. 8. 2011
  • Vedúci: Mgr. Martin Žáček

Citační záznam

Jak správně citovat práci

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

Plný text práce

Právo: Autor si přeje zpřístupnit práci veřejnosti až od 22. 06. 2011

Obsah online archivu závěrečné práce
Zveřejněno v Theses:
  • Soubory jsou od 22. 6. 2011 dostupné: autentizovaným zaměstnancům ze stejné školy/fakulty, autentizovaným studentům ze stejné školy/fakulty
Jak jinak získat přístup k textu
Instituce archivující a zpřístupňující práci: OSTRAVSKÁ UNIVERZITA V OSTRAVĚ, Přírodovědecká fakulta

University of Ostrava

Faculty of Science

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