Zpět na vyhledávání

Bc. Martin Džmura

Master's thesis

Knihovna pro animace v logice

A library for animations in logic
Abstract:
This thesis deals with the creation of animations and visualizations in logic. The goal of the thesis is to create library that can facilitate creation of such animations/vizualizations. In theoretical part of thesis are described existing programs, which can be used for that purpose. Practical part of thesis contains description how to work with the created library LogicLibrary.
Abstract:
Táto diplomová práca sa zaoberá tvorbou animácií a vizualizácií v logike. Cieľom práce je vytvorenie knižnice, ktorá by uľahčila vytvátanie takýchto animácií/vizualizácií. V teoretickej časti práce sú popísané existujúce programy, ktoré je možné pre tento účel použiť. Praktická časť práce obsahuje popis práce s vytvorenou knižnicou LogicLibrary.
 

Kľúčové slová

logika animácia vizualizácia pravdivostná tabuľka formula graf logic animation visualization truth table graph
 
Jazyk práce: Slovak
Datum vytvoření / odevzdání či podání práce: 7. 1. 2014
Identifikátor: https://is.muni.cz/th/aqns9/

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

  • Obhajoba proběhla 10. 2. 2014
  • Vedúci: doc. RNDr. Lubomír Popelínský, Ph.D.
  • Oponent: Mgr. Eva Mráková, Ph.D.

Citační záznam

Citovat tuto práci

Plný text práce

Obsah online archivu závěrečné práce
Zveřejněno v Theses:
  • světu
Jak jinak získat přístup k textu
Instituce archivující a zpřístupňující práci: Masarykova univerzita, Fakulta informatiky
Složka Odkaz na adresář do lokálního úložiště instituce