E-Book, Englisch, Band 14, 379 Seiten, eBook
Hanna / Reid / de Villiers Proof Technology in Mathematics Research and Teaching
1. Auflage 2019
ISBN: 978-3-030-28483-1
Verlag: Springer International Publishing
Format: PDF
Kopierschutz: 1 - PDF Watermark
E-Book, Englisch, Band 14, 379 Seiten, eBook
Reihe: Mathematics Education in the Digital Era
ISBN: 978-3-030-28483-1
Verlag: Springer International Publishing
Format: PDF
Kopierschutz: 1 - PDF Watermark
Zielgruppe
Research
Autoren/Hrsg.
Weitere Infos & Material
Chapter 1. Proof technology: Implications for teaching.- Chapter 2. A fully automatic theorem prover with human-style output.- Chapter 3. A common type of rigorous proof that resists Hilbert's programme.- Chapter 4. SMTCoq: Mixing automatic and interactive proof technologies.- Chapter 5. Studying algebraic structures using Prover9 and Mace4.- Chapter 6. Didactical issues at the interface of mathematics and computer science.- Chapter 7. Issues and challenges in instrumental proof.- Chapter 8. Reasoning by equivalence: the potential contribution of an automatic proof checker.- Chapter 9. Virtual manipulatives and students’ counterexamples during proving.- Chapter 10. Proof technology and learning in mathematics: Common issues and perspectives.