2010
Animations for teaching logic (software)
VAŇÁČEK, Jan, Zdeněk ZAVRTAL, Marek STEHLÍK, Eva MRÁKOVÁ, Lubomír POPELÍNSKÝ et. al.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
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í
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
Změněno: 29. 4. 2011 15:12, Ing. Dana Komárková
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.
Č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.