Správně utvořené formule výrokové logiky
Didaktický software na procvičování rozpoznávání rozpoznávání
UTIL-VL-SUF je didaktický software, který by měl umožnit studentům procvičovat rozpoznávání správně utvořených formulí výrokové logiky a poskytovat relevantní zpětnou vazbu s vysvětlením, včetně indikace úspěšného zvládnutí tohoto tématu.
Ukázka:
Je tato formule správně utvořená?
© ZČU 2009
Ludmila Dostálová, Jaroslav Lang, Radmila Dobrá, Jiří Novotný