Beweiskompetenz durch Beweisassistenz
| dc.contributor.author | Karsten, Nadine | |
| dc.contributor.author | Nestmann, Uwe | |
| dc.contributor.editor | Henning, Peter A. | |
| dc.contributor.editor | Striewe, Michael | |
| dc.contributor.editor | Wölfel, Matthias | |
| dc.date.accessioned | 2022-08-23T09:53:03Z | |
| dc.date.available | 2022-08-23T09:53:03Z | |
| dc.date.issued | 2022 | |
| dc.description.abstract | Beweiskompetenz, also die Fähigkeit mathematische Beweise sowohl verstehen als auch eigenständig führen zu können, wird üblicherweise vorrangig durch Beispiele, Feedback und Diskussion zwischen Lernenden und Lehrenden erworben. Wir setzen einen interaktiven Theorembeweiser – einen sogenannten Beweisassistenten – ein, um Lernenden ein zusätzliches möglichst direktes Feedback zu ermöglichen. Das Führen von Beweisen mit solchen Assistenten ähnelt der Entwicklung von Software mit schnellem und zuweilen spielerischem Explorieren von Lösungsansätzen. Wir erarbeiten daher die Konzeption eines dedizierten Kurses im Bereich der Theoretischen Informatik, in dem Beweiskompetenz mit passenden didaktischen Ansätzen durch Beweisassistenten effizienter und auch spielerischer vermittelt wird. | de |
| dc.identifier.doi | 10.18420/delfi2022-044 | |
| dc.identifier.isbn | 978-3-88579-716-6 | |
| dc.identifier.pissn | 1617-5468 | |
| dc.identifier.uri | https://dl.gi.de/handle/20.500.12116/38846 | |
| dc.language.iso | de | |
| dc.publisher | Gesellschaft für Informatik e.V. | |
| dc.relation.ispartof | 20. Fachtagung Bildungstechnologien (DELFI) | |
| dc.relation.ispartofseries | Lecture Notes in Informatics (LNI) - Proceedings, Volume P-322 | |
| dc.subject | Beweisassistent | |
| dc.subject | Beweiskompetenz | |
| dc.subject | Beweise | |
| dc.subject | Feedback | |
| dc.subject | Isabelle Einleitung | |
| dc.title | Beweiskompetenz durch Beweisassistenz | de |
| dc.type | Text/Conference Paper | |
| gi.citation.endPage | 228 | |
| gi.citation.publisherPlace | Bonn | |
| gi.citation.startPage | 227 | |
| gi.conference.date | 12.-14. September 2022 | |
| gi.conference.location | Karlsruhe |
Dateien
Originalbündel
1 - 1 von 1
Vorschaubild nicht verfügbar
- Name:
- DELFI_2022_044.pdf
- Größe:
- 126.35 KB
- Format:
- Adobe Portable Document Format