Logo des Repositoriums

Auflistung nach Autor:in "Herwig, Maurice"

1 - 2 von 2
  • Conference paper
    Problem-Specific Visual Feedback in Discrete Modelling
    (Proceedings of DELFI 2024, 2024) Herwig, Maurice; Hundeshagen, Norbert; Hundhausen, John; Kablowski, Stefan; Lange, Martin
    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.
  • Conference poster
    Towards Computer-Aided Teaching of Reductions in Theoretical Computer Science
    (Proceedings of DELFI 2024, 2024) Herwig, Maurice; Hundeshagen, Norbert; Kastaun, Marit; Kollenberg, Cedric
    Reductions play a crucial role in the theory of computer science, aiding in the identification of computationally unsolvable or intractable problems. Despite their significance, mastering reductions remains challenging for students due to their high level of abstraction. In this work we report on an educational approach to learn reductions in a more practical way as a programming exercise. Through a pilot study (𝑛 = 41) with three measurement points, insights were gathered on the usage of a prototype learning tool for reductions, leveraging Python as the main computational model. Initial findings highlight further enhancements of computer-aided learning and teaching of reductions, such as incorporating mathematical foundations in a tools feedback, visualizing and generically generating problem instances, as well as improving extensibility by simplifying the creation of exercises.