Conference paper
Problem-Specific Visual Feedback in Discrete Modelling
Lade...
Volltext URI
Dokumententyp
Text/Conference paper
Dateien
Zusatzinformation
Datum
2024
Zeitschriftentitel
ISSN der Zeitschrift
Bandtitel
Quelle
Verlag
Gesellschaft für Informatik e.V.
Zusammenfassung
Discrete modelling as the basis of problem solving is an essential skill for computer scientists, but the correct use of formal languages like propositional logic for such purposes remains a big challenge for undergraduate students. The DiMo tool provides support for the acquisition of formal modelling competencies using propositional logic. We extend the tool by generic capabilities to generate problem-specific feedback to students. This allows them to visualise the result of their modelling attempts in terms of the modelled problem at hand, thus helping students to initiate corresponding learning cycles.