Bakalářská práce

Animace ve výuce logiky

Animations for teaching logic

Jan Vaňáček, učo 173318
Anotace

Cílem práce je prostudování metod animace používaných ve výuce, a to především ve výuce logiky, a navrhnutí a implementování metod pro vizualizaci vyhodnocování logických formulí a důkazových metod – především rezolučních.

Abstract

The aim of this thesis is to go through animation techniques which are used especially in teaching logic. And the second part is to design these techniques for visualization of evaluation of logic formulae and proof methods (especially resolution method).

Zadání práce
Cílem práce je
  • prostudovat metody animace používané ve výuce, a to především ve výuce logiky
  • navrhnout a implementovat metody pro vizualizaci vyhodnocování logických formulí a důkazových metod, a to především rezolučních.
  • Literatura: články z konferencí a odborných časopisů, popisy existujících systémů

    Práce zkontrolována:
    11. 10. 2008 13:03, (IS automaticky)
    Plný text práce
    896,2 KB / soubor PDF
    Jazyk práce
    čeština čeština
    Termín obhajoby
    24. 6. 2008
    Práce byla úspěšně obhájena

    Vedoucí

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

    Oponent

    Mgr. Martin Večeřa, učo 72839
    abs FI MU

    Masarykova univerzita Fakulta informatiky
    Studijní program
    Aplikovaná informatika
    • 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.