VAŇÁČEK, Jan, Zdeněk ZAVRTAL, Marek STEHLÍK, Eva MRÁKOVÁ a Lubomír POPELÍNSKÝ. Animations for teaching logic (software). 2010.
Další formáty:   BibTeX LaTeX RIS
Základní údaje
Originální název Animations for teaching logic (software)
Název česky Animace pro výuku logiky (software)
Autoři VAŇÁČEK, Jan (203 Česká republika), Zdeněk ZAVRTAL (203 Česká republika, domácí), Marek STEHLÍK (203 Česká republika, domácí), Eva MRÁKOVÁ (203 Česká republika, domácí) a Lubomír POPELÍNSKÝ (203 Česká republika, garant, domácí).
Vydání 2010.
Další údaje
Originální jazyk angličtina
Typ výsledku Software
Obor 10201 Computer sciences, information science, bioinformatics
Stát vydavatele Česká republika
Utajení není předmětem státního či obchodního tajemství
WWW Flash animace pro výuku logiky
Kód RIV RIV/00216224:14330/10:00047634
Organizační jednotka Fakulta informatiky
Klíčová slova česky animace; výuka logiky; logika; Flash; elearning; dedukce; induktivní inference; tabla
Klíčová slova anglicky animations; teaching logic; logic; Flash; elearning; deduction; inductive inference; tableaux
Technické parametry web + Flash animace
Štítky animations, Flash, logic
Změnil Změnila: Ing. Dana Komárková, učo 1475. Změněno: 29. 4. 2011 15:12.
Anotace
Simple animated presentations, both interactive and non-interactive, that cover various fields of propositional, predicate and modal logic. The animations are implemented in Flash.
Anotace česky
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.
VytisknoutZobrazeno: 2. 6. 2024 22:46