Vladimír Matějičný

Diplomová práce

Nástroj pro modelování interpretačních struktur v PL1

Interpretation Structure Modeler for FOL
Anotace:
Obsahem této diplomové práce je analýza a návrh systému pro podporu výuky předmětu Matematická logika. Vytvářený systém se bude týkat problematiky 3D vizualizace úlohy na hledání modelu množiny formulí v predikátové logice prvního řádu a modelování důležitých vlastností relací. Nástroj bude také obsahovat nápovědu pro vytvoření modelu množiny. V první části práce, je čtenář seznámen s teoretickými …více
Abstract:
The goal of this thesis is to Provide design and analysis of a new system, which could then be used as a teaching tool in subject called Mathematical Logic. The new system will consist of two main parts. The first part will be dealing with the problem of 3D visualization of formula set models. The second part will include an environment for modeling important properties of relations. Our system will …více
 
 
Jazyk práce: čeština
Datum vytvoření / odevzdání či podání práce: 7. 5. 2013

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

  • Obhajoba proběhla 9. 6. 2014
  • Vedoucí: Martina Číhalová
  • Oponent: Marek Menšík

Citační záznam

Plný text práce

Právo: Plné texty vysokoškolských kvalifikačních prací obhájených na Vysoké škole báňské - Technické univerzitě Ostrava jsou uloženy v repozitáři DSpace. Přístup k plným textům mají všichni uživatelé bez omezení. Přístup je omezen pouze ve výjimečných případech, zpravidla z důvodu ochrany duševního vlastnictví. Nepřístupné práce jsou označeny jako closedAccess nebo embargoedAccess. Tištěné verze prácí jsou uloženy v Ústřední knihovně VŠB-TUO a jsou prezenčně přístupné ve studovně diplomových prací. Další nakládání s prací (kopírování, opisy, MVS) se řídí Knihovní a výpůjčním řádem Ústřední knihovny VŠB-TUO.

Obsah online archivu závěrečné práce
Zveřejněno v Theses:
  • autentizovaným zaměstnancům ze stejné školy/fakulty
Jak jinak získat přístup k textu
Instituce archivující a zpřístupňující práci: VŠB - Technická univerzita Ostrava