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.
 

Keywords

logika animácia vizualizácia pravdivostná tabuľka formula graf logic animation visualization truth table graph
 
Language used: Slovak
Date on which the thesis was submitted / produced: 7. 1. 2014
Identifier: https://is.muni.cz/th/aqns9/

Thesis defence

  • Date of defence: 10. 2. 2014
  • 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