Anotace
Konstrukční úlohy v logice: zkoušení a procvičování ve velkém
Eva MRÁKOVÁ
Katedra informačních technologií Fakulty informatiky Masarykovy univerzity v Brně
Prezentace se zabývá možnostmi automatického hodnocení studentských řešení vybraných konstrukčních úloh (pravdivostní tabulky, rezoluce) pro skupiny řádově stovek studentů. Využíváme metodiku pro transformaci úloh na testové otázky. Dále je prezentován nástroj pro procvičování rezolučních důkazů prostřednictvím webového rozhraní s možností vizualizace chyb jako zpětné vazby.