Conference poster
Towards Computer-Aided Teaching of Reductions in Theoretical Computer Science
Lade...
Volltext URI
Dokumententyp
Text/Conference poster
Zusatzinformation
Datum
2024
Zeitschriftentitel
ISSN der Zeitschrift
Bandtitel
Quelle
Verlag
Gesellschaft für Informatik e.V.
Zusammenfassung
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.