Logo des Repositoriums
 

Problem-Specific Visual Feedback in Discrete Modelling

dc.contributor.authorHerwig, Maurice
dc.contributor.authorHundeshagen, Norbert
dc.contributor.authorHundhausen, John
dc.contributor.authorKablowski, Stefan
dc.contributor.authorLange, Martin
dc.contributor.editorSchulz, Sandra
dc.contributor.editorKiesler, Natalie
dc.date.accessioned2024-09-03T16:26:22Z
dc.date.available2024-09-03T16:26:22Z
dc.date.issued2024
dc.description.abstractDiscrete 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.en
dc.identifier.doi10.18420/delfi2024_08
dc.identifier.urihttps://dl.gi.de/handle/20.500.12116/44546
dc.language.isoen
dc.pubPlaceBonn
dc.publisherGesellschaft für Informatik e.V.
dc.relation.ispartofProceedings of DELFI 2024
dc.relation.ispartofseriesDELFI
dc.subjectpropositional logic
dc.subjectteaching modelling
dc.subjectfeedback systems
dc.subjectvisual feedback
dc.subjecterror-driven learning
dc.titleProblem-Specific Visual Feedback in Discrete Modellingen
dc.typeText/Conference paper
mci.conference.date09.-11. September 2024
mci.conference.locationFulda
mci.conference.sessiontitleBest Paper Kandidaten Kurzbeiträge
mci.document.qualitydigidoc
mci.reference.pages107-113

Dateien

Originalbündel
1 - 1 von 1
Vorschaubild nicht verfügbar
Name:
Maurice-Herwig.pdf
Größe:
1.29 MB
Format:
Adobe Portable Document Format