ORGANON: Modul výrokové logiky
Ludmila Dostálová, David Pelikán
Katedra filosofie FF ZČU v Plzni
ldostal@kfi.zcu.cz; pelikand@kfi.zcu.cz
Cílem příspěvku je představit modul výrokové logiky
e-learningového systému ORGANON. V rámci
výrokové logiky je třeba procvičit předevšim tři základní metody – rozpoznávání
správně utvořených formulí, tabulkovou metodu a transformace na normální formy.
Pro každou z těchto metod jsou v modulu navrženy různé kategorie úloh umožňujici různe způsoby
jejich procvičování. Dále budou představeny principy třídění těchto úloh podle obtížnosti tak,
aby vyučující mohli snadno vybrat ty úlohy, které nejlépe vyhovují povaze jejich kurzu,
stejně jako standardy jejich elektronického hodnoceni. Prezentace bude zakončena názornou ukázkou fungování modulu ve výuce.
Abstrakt
Prezentace
Článek ve sborníku
|