R 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í

Odkazy

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ěněno: 29. 4. 2011 15:12, Ing. Dana Komárková

Anotace

ORIG CZ

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.
Zobrazeno: 2. 11. 2024 14:00