Zpět na vyhledávání

Bc. Patrik Vrábel

Master's thesis

Webové prostředí pro vstup rezolučních důkazů

Web-base tool for input of resolution proofs
Abstract:
The goal of this thesis was to create web based application for input of resolution proof. The process of creation is monitored and after the proof is finished then stored into database. Part of the thesis is set of SQL queries which are used to detect common mistakes done in the proof.
Abstract:
Cieľom tejto práce bolo vytvoriť aplikáciu na vkladanie rezolučných dôkazov vo webovom rozhraní. Celý proces vkladania dôkazu je monitorovaný a po dokončení uložený do databázy. Súčasťou práce je tiež sada SQL dotazov, ktoré slúžia na detekciu častých chýb, ktoré sú konané pri vytváraní rezolučných dôkazoch.
 

Keywords

rezolúcia v predikátovej logike rezolučný dôkaz interaktívny graf SVG JavaScript SQL chyby v rezolúcii PHP
 
Language used: Slovak
Date on which the thesis was submitted / produced: 28. 5. 2013
Identifier: https://is.muni.cz/th/g7sql/

Thesis defence

  • Date of defence: 28. 6. 2013
  • Supervisor: doc. RNDr. Lubomír Popelínský, Ph.D.
  • Reader: Mgr. Eva Mráková, Ph.D.

Citation record

Cite this text

Full text of thesis

Contents of on-line thesis archive
Published in Theses:
  • světu
Other ways of accessing the text
Institution archiving the thesis and making it accessible: Masarykova univerzita, Fakulta informatiky
Složka Reference to the local database directory of the institution

Masaryk University

Faculty of Informatics

Master programme / field:
Informatics / Computer Systems

Theses on a related topic

List of theses with an identical keyword.