Michaela Lubyová

Master's thesis

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

Component of Educational Server for Theoretical CS - Predicate Logic
Abstract:
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á …more
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 …more
 

Keywords

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
 
Language used: Czech
Date on which the thesis was submitted / produced: 30. 4. 2019
Identifier: http://hdl.handle.net/10084/136219

Thesis defence

  • Date of defence: 29. 5. 2019
  • Supervisor: Martin Kot
  • Reader: Zdeněk Sawa

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

VŠB - Technical University of Ostrava

Fakulta elektrotechniky a informatiky

Master programme / field:
Informační a komunikační technologie / Informatika a výpočetní technika

Theses on a related topic

List of theses with an identical keyword.