Logo des Repositoriums
 

Towards Computer-Aided Teaching of Reductions in Theoretical Computer Science

Kurzanzeige
dc.contributor.authorHerwig, Maurice
dc.contributor.authorHundeshagen, Norbert
dc.contributor.authorKastaun, Marit
dc.contributor.authorKollenberg, Cedric
dc.contributor.editorSchulz, Sandra
dc.contributor.editorKiesler, Natalie
dc.date.accessioned2024-09-03T16:26:20Z
dc.date.available2024-09-03T16:26:20Z
dc.date.issued2024
dc.description.abstractReductions 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.en
dc.identifier.doi10.18420/delfi2024_45
dc.identifier.eissn2944-7682
dc.identifier.issn2944-7682
dc.identifier.urihttps://dl.gi.de/handle/20.500.12116/44529
dc.language.isoen
dc.pubPlaceBonn
dc.publisherGesellschaft fĂĽr Informatik e.V.
dc.relation.ispartofProceedings of DELFI 2024
dc.relation.ispartofseriesDELFI
dc.subjectcomplexity
dc.subjectcomputability
dc.subjectlearning tool
dc.subjectNP-completeness
dc.subjectreductions
dc.titleTowards Computer-Aided Teaching of Reductions in Theoretical Computer Scienceen
dc.typeText/Conference poster
mci.conference.date09.-11. September 2024
mci.conference.locationFulda
mci.conference.sessiontitleDemo und Poster Session
mci.document.qualitydigidoc
mci.reference.pages479-484

Dateien

OriginalbĂĽndel
1 - 1 von 1
Vorschaubild
Name:
Maurice-Herwig_Towards.pdf
Größe:
235.38 KB
Format:
Adobe Portable Document Format
Herunterladen

Sammlungen

P356 - DELFI 2024 - Die 22. Fachtagung Bildungstechnologien