/ en / Traditional / help

Beats Biblionetz - Texte

Towards Computer-Aided Teaching of Reductions in Theoretical Computer Science

Maurice Herwig, Norbert Hundeshagen, Marit Kastaun, Cedric Kollenberg
Publikationsdatum:
Zu finden in: DELFI 2024, 2024 local web 
Erste Seite des Textes (PDF-Thumbnail)
Dieses Biblionetz-Objekt existiert erst seit September 2024. Es ist deshalb gut möglich, dass viele der eigentlich vorhandenen Vernetzungen zu älteren Biblionetz-Objekten bisher nicht erstellt wurden. Somit kann es sein, dass diese Seite sehr lückenhaft ist.

iconZusammenfassungen

DELFI 2024Reductions 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.
Von Maurice Herwig, Norbert Hundeshagen, Marit Kastaun, Cedric Kollenberg im Konferenz-Band DELFI 2024 im Text Towards Computer-Aided Teaching of Reductions in Theoretical Computer Science (2024)

iconDieses Konferenz-Paper erwähnt ...


Personen
KB IB clear
Markus Brändle , Pierluigi Crescenzi , Richard E. Mayer , Andreas Schwill

Begriffe
KB IB clear
Informatikcomputer science , Programmierenprogramming , Python
icon
Bücher
Jahr  Umschlag Titel Abrufe IBOBKBLB
2005   The Cambridge handbook of multimedia learning (Richard E. Mayer) 7, 1, 3, 9, 16, 1, 1, 10, 4, 4, 6, 6 48 8 6 699
2006 local web  GraphBench (Markus Brändle) 5, 3, 4, 18, 2, 1, 2, 5, 3, 1, 6, 2 2 25 2 1073
2010 ITiCSE 2010 (Reyyan Ayfer, John Impagliazzo, Cary Laxer) 4, 2, 6, 8, 1, 1, 3, 7, 2, 7, 6, 4 27 249 4 1912
icon
Texte
Jahr  Umschlag Titel Abrufe IBOBKBLB
1993 local web  Fundamentale Ideen der Informatik (Andreas Schwill) 5, 12, 14, 5, 2, 4, 4, 13, 11, 13, 11, 7 85 50 7 5985
2010 Using AVs to explain NP-completeness (Pierluigi Crescenzi) 1 2 0 0

iconDieses Konferenz-Paper erwähnt vermutlich nicht ... Eine statistisch erstelle Liste von nicht erwähnten (oder zumindest nicht erfassten) Begriffen, die aufgrund der erwähnten Begriffe eine hohe Wahrscheinlichkeit aufweisen, erwähnt zu werden.

iconTagcloud

iconZitationsgraph

Diese Grafik ist nur im SVG-Format verfügbar. Dieses Format wird vom verwendeteten Browser offenbar nicht unterstützt.

Diese SVG-Grafik fensterfüllend anzeigen

iconZitationsgraph (Beta-Test mit vis.js)

iconAnderswo finden

icon

iconVolltext dieses Dokuments

Auf dem WWW Towards Computer-Aided Teaching of Reductions in Theoretical Computer Science: Volltext als PDF in der digitalen Bibliothek der GI (lokal: PDF, 235 kByte; WWW: Link OK )

iconAnderswo suchen  Auch im Biblionetz finden Sie nicht alles. Aus diesem Grund bietet das Biblionetz bereits ausgefüllte Suchformulare für verschiedene Suchdienste an. Biblionetztreffer werden dabei ausgeschlossen.

iconBeat und dieses Konferenz-Paper

Beat hat Dieses Konferenz-Paper erst in den letzten 6 Monaten in Biblionetz aufgenommen. Beat besitzt kein physisches, aber ein digitales Exemplar. Eine digitale Version ist auf dem Internet verfügbar (s.o.). Aufgrund der wenigen Einträge im Biblionetz scheint er es nicht wirklich gelesen zu haben. Es gibt bisher auch nur wenige Objekte im Biblionetz, die dieses Werk zitieren.

iconBiblionetz-History Dies ist eine graphische Darstellung, wann wie viele Verweise von und zu diesem Objekt ins Biblionetz eingetragen wurden und wie oft die Seite abgerufen wurde.