Mgr. Tomáš STUPKA

Bakalářská práce

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
Anotace:
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, …více
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 …více
 

Klíčová slova

predikátová logika sémantické tablo tablová pravidla deskripční logika C#.NET Visual studio 2010 desktopová aplikace
 
Jazyk práce: čeština
Datum vytvoření / odevzdání či podání práce: 21. 4. 2011
Zveřejnit od: 21. 4. 2011

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

  • Obhajoba proběhla 30. 5. 2011
  • Vedoucí: RNDr. Marek Vajgl, Ph.D.

Citační záznam

Citovat tuto práci
Jak správně citovat práci

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

Plný text práce

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

Obsah online archivu závěrečné práce
Zveřejněno v 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
Jak jinak získat přístup k textu
Instituce archivující a zpřístupňující práci: OSTRAVSKÁ UNIVERZITA V OSTRAVĚ, Přírodovědecká fakulta
https://portal.osu.cz//StagPortletsJSR168/CleanUrl?urlid=prohlizeni-prace-detail&praceIdno=21028 Odkaz na soubor do lokálního úložiště instituce

OSTRAVSKÁ UNIVERZITA V OSTRAVĚ

Přírodovědecká fakulta

Bakalářský studijní program / obor:
Informatika / Informatika

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

Seznam prací, které mají shodná klíčová slova.