Proof Technology in Mathematics Research and Teaching

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Hanna, Gila (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt), Reid, David A. (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt), de Villiers, Michael (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Cham : Springer International Publishing : Imprint: Springer, 2019.
• Έκδοση: 1st ed. 2019.
• Σειρά: Mathematics Education in the Digital Era, 14
• Θέματα: Mathematics-Study and teaching .; Educational technology.; Proof theory.; Critical Thinking.; Teaching.; Mathematics Education.; Technology and Digital Education.; Structures and Proofs.; Teaching and Teacher Education.

This book presents chapters exploring the most recent developments in the role of technology in proving. The full range of topics related to this theme are explored, including computer proving, digital collaboration among mathematicians, mathematics teaching in schools and universities, and the use...

Πίνακας περιεχομένων:

• 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.