Animace ve výuce logiky

Bc. Zuzana Podhorská

Bachelor's thesis

Animations in teaching logic

Abstract:

The objective of the thesis was to use LogicLibrary created by Martin Džmura, to critically evaluate, modify and create other animations appropriate for presenting teaching logic. The theoretical part of the thesis consists of the reasons of using e-learning, an overview of the most modern methods to apply animations in logic and a brief description of LogicLibrary. The practical part consists of an overview of created animations, methods used to create animations and an overview of modified faulty animations created by Martin Džmura.

Abstract:

Cieľom práce bolo využiť knižnicu LogicLibrary vytvorenú Martinom Džmurom, kriticky ju zhodnotiť a upraviť a vytvoriť ďalšie animácie vhodné na prezentáciu vyučovanej logiky. Teoretická časť práce obsahuje dôvody využívania e-learningu, prehľad najmodernejších metód vyučovania logiky a stručný popis knižnice LogicLibrary. Praktická časť práce obsahuje prehľad vytvorených animácií, postupy pri vytvorení animácií a prehľad opravených chybných animácií vytvorených Martinom Džmurom.

Keywords

logika, animácia, LogicLibrary, normálne formy, SLD strom, DPLL, splniteľnosť, logic, animation, normal forms, SLD tree, satisfiability

Language used: Slovak

Date on which the thesis was submitted / produced: 18. 5. 2015

Thesis defence

• Date of defence: 15. 6. 2015
• Supervisor: doc. RNDr. Lubomír Popelínský, Ph.D.
• Reader: Mgr. Eva Mráková, Ph.D.

Masaryk University

Faculty of Informatics

Bachelor programme / field:
Applied Informatics / Applied Informatics