Animations for teaching logic (software)

VAŇÁČEK, Jan, Zdeněk ZAVRTAL, Marek STEHLÍK, Eva MRÁKOVÁ and Lubomír POPELÍNSKÝ. Animations for teaching logic (software). 2010.

Basic information

Original name

Animations for teaching logic (software)

Name in Czech

Animace pro výuku logiky (software)

Authors

VAŇÁČEK, Jan (203 Czech Republic), Zdeněk ZAVRTAL (203 Czech Republic, belonging to the institution), Marek STEHLÍK (203 Czech Republic, belonging to the institution), Eva MRÁKOVÁ (203 Czech Republic, belonging to the institution) and Lubomír POPELÍNSKÝ (203 Czech Republic, guarantor, belonging to the institution)

Edition

2010

---

Other information

Language

English

Type of outcome

Software

Field of Study

10201 Computer sciences, information science, bioinformatics

Country of publisher

Czech Republic

Confidentiality degree

není předmětem státního či obchodního tajemství

References:

Flash animace pro výuku logiky

RIV identification code

RIV/00216224:14330/10:00047634

Organization unit

Faculty of Informatics

Keywords (in Czech)

animace; výuka logiky; logika; Flash; elearning; dedukce; induktivní inference; tabla

Keywords in English

animations; teaching logic; logic; Flash; elearning; deduction; inductive inference; tableaux

Technical parameters

web + Flash animace

Tags

animations, Flash, logic

---

Abstract

V originále

Simple animated presentations, both interactive and non-interactive, that cover various fields of propositional, predicate and modal logic. The animations are implemented in Flash.

In Czech

Jednoduché animace vhodné pro výuku logiky, interaktivní i neinteraktivní, pokrývající různé oblasti výrokové, predikátové a modální logiky, implementované ve Flashi.