Zpět na vyhledávání

Mgr. Tomáš STUPKA

Bachelor's thesis

Tvorba nástroje na editaci a export sémantického tabla pro formální logické systémy

Development of tool for editing and export of semantic tableau algorithm in formal logic systems
Abstract:
Cílem této bakalářské práce je vytvořit nástroj pro zpracování sémantického tabla logické formule s možnostmi exportu do různých grafických formátů a uložení či otevření zpracované formule. Práce je rozdělena do dvou částí, na teoretickou a praktickou část. V teoretické části autor popisuje logické systémy, jejichž formule je nástroj schopen zpracovávat, jimiž jsou predikátová a deskripční logika, …more
Abstract:
The aim of this bachelor thesis is to create a tool for processing the semantic tableau algorithm with possibility to export results into various graphic formats and to save or load currently worked formula. The work is divided into two parts, theoretical and practical part. In the theoretical part, author focuses on describing logic system tableau can work with. These systems are predicate and description …more
 

Keywords

predikátová logika sémantické tablo tablová pravidla deskripční logika C#.NET Visual studio 2010 desktopová aplikace
 
Language used: Czech
Date on which the thesis was submitted / produced: 21. 4. 2011
Accessible from:: 21. 4. 2011

Thesis defence

  • Date of defence: 30. 5. 2011
  • Supervisor: RNDr. Marek Vajgl, Ph.D.

Citation record

Cite this text
The right form of listing the thesis as a source quoted

STUPKA, Tomáš. Tvorba nástroje na editaci a export sémantického tabla pro formální logické systémy. Ostrava, 2011. bakalářská práce (Bc.). OSTRAVSKÁ UNIVERZITA V OSTRAVĚ. Přírodovědecká fakulta

Full text of thesis

Accessibility: Autor si přeje zpřístupnit práci veřejnosti od 21.4.2011

Contents of on-line thesis archive
Published in Theses:
  • Soubory jsou od 21. 4. 2011 dostupné: autentizovaným zaměstnancům ze stejné školy/fakulty, autentizovaným studentům ze stejné školy/fakulty
Other ways of accessing the text
Institution archiving the thesis and making it accessible: OSTRAVSKÁ UNIVERZITA V OSTRAVĚ, Přírodovědecká fakulta
https://portal.osu.cz//StagPortletsJSR168/CleanUrl?urlid=prohlizeni-prace-detail&praceIdno=21028 Reference to the local database file of the institution

University of Ostrava

Faculty of Science

Bachelor programme / field:
Information Science / Information Science

Theses on a related topic

List of theses with an identical keyword.