Bakalářská práce

Animace ve výuce logiky

Animations for teaching logic

Zdeněk Zavrtal
Anotace

Cílem práce je podat stručný přehled animačních metod, které lze využít v elektronických studijních materiálech ve výuce logiky. Jádrem práce jsou animace tablových důkazů ve výrokové, predikátové a modální logice a animace induktivního odvozování – učení rozhodovacího stromu a vytváření prostoru verzí. Obsahem práce je také návod, který nezkušenému uživateli usnadní tvorbu variant těchto animací.

Abstract

The aim of my thesis is to give a short summary of the animation methods which can be employed in the electronic study materials in the teaching of logic. The thesis deals with the animation of tableau proofs in the propositional, predicate and modal logic and animation inductive developing – teaching of the decision tree and making versions space. It also instructs the inexpert user how to create the animation's variation.

Klíčová slova
animace interaktivita interaktivní výuka Flash tablový důkaz rozhodovací strom prostor verzí
Zadání práce
Cílem práce je
  • podat stručný přehled animačním metod ve výuce logiky
  • navrhnout a implementovat animace tablových důkazů a animace pro výuku induktivního odvozování
  • vytvořit návod, který nezkušenému uživateli usnadní vytváření variant těchto animací

    • Literatura: články z konferencí a odborných časopisů, popisy existujících systémů

    Administrativní informace
    Práce zkontrolována:
    9. 1. 2010 18:04, doc. RNDr. Lubomír Popelínský, Ph.D.
    Plný text práce
    601,7 KB / soubor PDF
    Jazyk práce
    čeština čeština
    Termín obhajoby
    1. 2. 2010
    Práce byla úspěšně obhájena

    Vedoucí

    doc. RNDr. Lubomír Popelínský, Ph.D.
    abs PřF MU

    Oponent

    prof. RNDr. Jan Strejček, Ph.D., učo 3366
    KTP FI MU
    Citovat tuto práci
    Masarykova univerzita Fakulta informatiky
    Studijní program
    Aplikovaná 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 Zdeněk Zavrtal FI B-AP BcAP fio3d/8
    Zavrtal, Z.
    8. 1. 2010
    Složky
    cd 10274796/6
    Zavrtal, Z.
    8. 1. 2010
    Soubory
    animace_print.pdf
    Zavrtal, Z.
    8. 1. 2010
    Anotace anglicky annotation_english.txt
    Zavrtal, Z.
    8. 1. 2010
    Anotace česky annotation.txt
    Zavrtal, Z.
    8. 1. 2010
    Klíčová slova keywords.txt
    Zavrtal, Z.
    8. 1. 2010
    Posudek oponenta Posudek_oponenta.pdf
    Drštková, E.
    28. 1. 2010
    posudek_oponenta.jpg
    Dvořáčková, H.
    28. 1. 2010

    • 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.