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.
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.
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 informatikyMasaryk University
Faculty of InformaticsMaster programme / odbor:
Informatics / Information Systems
Práce na příbuzné téma
-
FO interpretations in restricted graph classes
Matúš Bezek -
Efficient solvability of graph MSO properties
Jakub Gajarský -
Zpracování modelu realizace stavby – objekt občanské vybavenosti (síťový graf, datová základna činností, graf postupu výstavby, graf potřeby financí, časoprostorový graf …)
Radim Kolář -
Graf řízení toku programů v jazyce P4
Timotej Ponek -
Vztah motorické docility a subjektivního vnímání kolenního kloubu u žáků základní školy
Filip GRAF -
Krize ve Venezuele. Geopolitický mocenský souboj mezi Spojenými státy americkými a Ruskou federací.
Jan GRAF -
Výskyt a typy zranění kloubů dolních končetin u běžců věnujících se rekreačnímu fotbalu
Filip GRAF -
Přenosný číslicově ovládaný generátor funkcí
Daniel Graf