Problem-Specific Visual Feedback in Discrete Modelling

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. We present a tool, called DiMo, aimed at supporting the acquisition of such formal modelling competencies using propositional logic. The DiMo tool provides a language which allows propositional formulas -- parameterised by integers -- to be specified and checked for satisfiability, validity and equivalence, and thus, allows parametrised real-world problems to be modelled in propositional logic. We specifically focus on DiMo's generic capabilities to form problem-specific feedback that allows users to visualise the result of their modelling attempts in terms of the modelled problemat hand, thus helping students to initiate corresponding learning cycles. The results presented in this talk are based on joint work with Norbert Hundeshagen, John Hundhausen, Stefan Kablowski and Martin Lange. Contributed talk given by Maurice Herwig

Authors

• Maurice Herwig

Keywords

No keywords are indexed for this paper.