VAŇÁČEK, Jan, Zdeněk ZAVRTAL, Marek STEHLÍK, Eva MRÁKOVÁ and Lubomír POPELÍNSKÝ. Animations for teaching logic (software). 2010.
Other formats:   BibTeX LaTeX RIS
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
Original language English
Type of outcome Software
Field of Study 10201 Computer sciences, information science, bioinformatics
Country of publisher Czech Republic
Confidentiality degree is not subject to a state or trade secret
WWW 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
Changed by Changed by: Ing. Dana Komárková, učo 1475. Changed: 29/4/2011 15:12.
Abstract
Simple animated presentations, both interactive and non-interactive, that cover various fields of propositional, predicate and modal logic. The animations are implemented in Flash.
Abstract (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.
PrintDisplayed: 4/5/2024 00:56