Literaturnachweis - Detailanzeige
| Autor/inn/en | Thoma, Athina; Iannone, Paola |
|---|---|
| Titel | Learning about Proof with the Theorem Prover LEAN: The Abundant Numbers Task |
| Quelle | In: International Journal of Research in Undergraduate Mathematics Education, 8 (2022) 1, S.64-93 (30 Seiten)
PDF als Volltext |
| Zusatzinformation | ORCID (Thoma, Athina) |
| Sprache | englisch |
| Dokumenttyp | gedruckt; online; Zeitschriftenaufsatz |
| ISSN | 2198-9745 |
| DOI | 10.1007/s40753-021-00140-1 |
| Schlagwörter | Validity; Mathematical Logic; Mathematics Instruction; Undergraduate Students; Foreign Countries; Workshops; Programming Languages; Accuracy; Symbols (Mathematics); Sentences; Punctuation; Correlation; Teaching Methods; Task Analysis; United Kingdom |
| Abstract | This exploratory study reports on characteristics of proof production and proof writing observed in the work of first-year university students who took part in workshops on the theorem prover LEAN (https://leanprover.github.io). These workshops were voluntary and offered alongside a transition to proof module in a UK university. Through qualitative analysis of 36 student produced proofs of an unfamiliar statement we highlight characteristics of proofs produced by students who did engaged and who did not engage with LEAN. The analysis shows two characteristics of proofs written by students who engaged with the programming language. The first concerns proof writing and includes the accurate and correct use of mathematics language and symbols, together with the use of complete sentences and punctuations in proofs. The second concerns proof structure and includes the overt break down of proofs in goals and sub-goals. We conclude by hypothesising a link between the characteristics observed and the experience of engaging with the theorem prover and we reflect on the potential that engagement with this theorem prover may have in mathematics instruction at university level. (As Provided). |
| Anmerkungen | Springer. Available from: Springer Nature. One New York Plaza, Suite 4600, New York, NY 10004. Tel: 800-777-4643; Tel: 212-460-1500; Fax: 212-460-1700; e-mail: customerservice@springernature.com; Web site: https://link.springer.com/ |
| Erfasst von | ERIC (Education Resources Information Center), Washington, DC |
| Update | 2024/1/01 |
Literaturbeschaffung und Bestandsnachweise in Bibliotheken prüfen
Permalink als QR-Code
Inhalt auf sozialen Plattformen teilen (nur vorhanden, wenn Javascript eingeschaltet ist)
Teile diese Seite:
