Diplomová práce

Knihovna pro animace v logice

A library for animations in logic

Bc. Martin Džmura
Anotace

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.

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.

Klíčová slova
logika animácia vizualizácia pravdivostná tabuľka formula graf logic animation visualization truth table graph
Zadání práce
Vytvořte knihovnu modulů pro vytváření animací pro výuku logiky, tj.
  • podejte přehled existujících nástrojů pro tvorbu animací se zaměřením na logiku
  • vytvořte knihovnu modulů pro animace v logice
  • ověřte její použití v kursech logiky na FI

    • Literatura: články z časopisů a konferencí, mj. Organon, TICTTL

    Administrativní informace
    Práce zkontrolována:
    15. 1. 2014 07:42, doc. RNDr. Lubomír Popelínský, Ph.D.
    Plný text práce
    1,4 MB / soubor PDF
    Jazyk práce
    slovenština slovenština
    Termín obhajoby
    10. 2. 2014
    Práce byla úspěšně obhájena

    Vedoucí

    doc. RNDr. Lubomír Popelínský, Ph.D.
    KTP FI MU

    Oponent

    Mgr. Eva Mráková, Ph.D., učo 2575
    ext CERIT FI MU

    Konzultant

    Mgr. Juraj Jurčo, učo 173001
    abs FI MU
    Citovat tuto práci
    Masarykova univerzita Fakulta informatiky
    Studijní program
    Informatika
    Obor

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

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

    Podobné práce
     
    Název
    Vložil
    Vloženo
    Práva
    Archiv závěrečné práce Martin Džmura FI N-IN INS aqns9/9
    Kryštofová, H.
    10. 10. 2013
    Složky
    Soubory
    Anotace anglicky annotation_english.txt
    Džmura, M.
    6. 1. 2014
    Anotace česky annotation.txt
    Džmura, M.
    6. 1. 2014
    examples.rar
    Džmura, M.
    7. 1. 2014
    examples.txt
    Džmura, M.
    7. 1. 2014
    Klíčová slova keywords.txt
    Džmura, M.
    6. 1. 2014
    LogicLibrary.js
    Džmura, M.
    7. 1. 2014
    Plný text práce dzmura_diplomova_praca.pdf
    Džmura, M.
    7. 1. 2014
    Posudek oponenta posudek_oponent.pdf
    Mráková, E.
    27. 1. 2014
    Posudek vedoucího pos-dzmura.pdf
    Popelínský, L.
    31. 1. 2014

    • Přidání souboru

      Soubor nebo složku lze nahrát pomocí tlačítka Přidat.

    • Další operace se soubory

      Podrobnosti lze zjistit označením příslušného řádku.

    • Pohled pro experty

      Pro častou práci je možné zvolit režim Více možností.

    • Vyhledávání souborů

      Vyhledávaný výraz můžete zadat přímo do adresního řádku.

    • Rychlý přístup k souborům

      Pomocí funkce Nedávné je možné se rychle vrátit k právě prohlíženým souborům. Oblíbené soubory je také možné označit Hvězdičkou.