ORGANON: Modul predikátové logiky
Martina Číhalová, Marek Menšík
Katedra informatiky FEI VŠB-TU v Ostravě
m.tina.cihal@gmail.com; mensikm@gmail.com
Cílem příspěvku je představit modul predikátové logiky
e-learningového systému ORGANON. V rámci
predikátové logiky je třeba procvičit předevšim tři základní metody – rozpoznávání
správně utvořených formulí, převod do prenexního tvaru a skolemizaci.
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.
Abstrakt
Prezentace
Článek ve sborníku
|
