Archiv závěrečné práce Zdeněk Zavrtal FI B-AP BcAP

Bc. Zdeněk Zavrtal

Animace ve výuce logiky

Animations for teaching logic

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.

animace, interaktivita, interaktivní výuka, Flash, tablový důkaz, rozhodovací strom, prostor verzí

Zadání: 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ů

Jazyk práce: čeština