Animations for teaching logic (software)

• Authors: VAŇÁČEK Jan; ZAVRTAL Zdeněk; STEHLÍK Marek; MRÁKOVÁ Eva; POPELÍNSKÝ Lubomír
• Year of publication: 2010
• MU Faculty or unit: Faculty of Informatics
• Web: Flash animace pro výuku logiky
• Description: Simple animated presentations, both interactive and non-interactive, that cover various fields of propositional, predicate and modal logic. The animations are implemented in Flash.