Michaela Lubyová

Diplomová práce

Komponenta výukového serveru TI - Predikátová logika

Component of Educational Server for Theoretical CS - Predicate Logic
Anotace:
Cieľom tejto diplomovej práce je vytvorenie webovej aplikácie zameranej na prácu s formulami predikátovej logiky. Aplikácia má byť schopná syntakticky analyzovať reťazce za účelom zistenia, či sa jedná o formule predikátovej logiky, vytvoriť z formúl syntaktické stromy, previesť formule do prenexovej normálnej formy a vyhodnotiť pravdivosti formúl na základe interpretácií. V diplomovej práci je popísaná …více
Abstract:
The goal of this master's thesis is to create a web application focused on working with first-order logic formulas. The application should be able to syntactically analyze strings in order to find out if they are first-order logic formulas, create parse trees from formulas, transform formulas into the prenex normal form and evaluate formulas' truth values based on interpretations. In the master's thesis …více
 

Klíčová slova

webová aplikácia výukový server predikátová logika syntaktická analýza syntaktický strom prenexová normálna forma pravdivosť formúl teoretická informatika

Keywords

web application educational server first-order logic syntax analysis syntax tree prenex normal form truth values theoretical computer science
 
Jazyk práce: čeština
Datum vytvoření / odevzdání či podání práce: 30. 4. 2019
Identifikátor: http://hdl.handle.net/10084/136219

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

  • Obhajoba proběhla 29. 5. 2019
  • Vedoucí: Martin Kot
  • Oponent: Zdeněk Sawa

Citační záznam

Citovat tuto práci

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

VŠB - Technická univerzita Ostrava

Fakulta elektrotechniky a informatiky

Magisterský studijní program / obor:
Informační a komunikační technologie / Informatika a výpočetní technika

Práce na příbuzné téma

Seznam prací, které mají shodná klíčová slova.
Všechny práce