Zpět na vyhledávání

Vladimír Matějičný

Master's thesis

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

Interpretation Structure Modeler for FOL
Abstract:
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 …more
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 …more
 

Keywords

Predikátová logika sémantika formule interpretační struktura model splintelnost pravdovostní hodnota predikát kvantifikátor funkce konstanta množina orientovaný graf uzel hrana relace parser lexikální analýza syntaktická analýza

Keywords

Predicate logic semantics formula interpretation structure model satisfiability truth value predicate quantificator function constant set oriented graph node edge relation parser lexical analysis syntactic analysis
 
Language used: Czech
Date on which the thesis was submitted / produced: 7. 5. 2013
Identifier: http://hdl.handle.net/10084/103820

Thesis defence

  • Date of defence: 9. 6. 2014
  • Supervisor: Martina Číhalová
  • Reader: Marek Menšík

Citation record

Cite this text

Full text of thesis

Accessibility: 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.

Contents of on-line thesis archive
Published in Theses:
  • autentizovaným zaměstnancům ze stejné školy/fakulty
Other ways of accessing the text
Institution archiving the thesis and making it accessible: VŠB - Technická univerzita Ostrava