Proof technology in mathematics rese...
Hanna, Gila.

Linked to FindBook      Google Book      Amazon      博客來     
  • Proof technology in mathematics research and teaching
  • Record Type: Electronic resources : Monograph/item
    Title/Author: Proof technology in mathematics research and teaching/ edited by Gila Hanna, David A. Reid, Michael de Villiers.
    other author: Hanna, Gila.
    Published: Cham :Springer International Publishing : : 2019.,
    Description: viii, 379 p. :ill. (some col.), digital ;24 cm.
    [NT 15003449]: 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.
    Contained By: Springer Nature eBook
    Subject: Proof theory - Study and teaching. -
    Online resource: https://doi.org/10.1007/978-3-030-28483-1
    ISBN: 9783030284831
Location:  Year:  Volume Number: 
Items
  • 1 records • Pages 1 •
 
W9404104 電子資源 11.線上閱覽_V 電子書 EB QA9.54 .P76 2019 一般使用(Normal) On shelf 0
  • 1 records • Pages 1 •
Multimedia
Reviews
Export
pickup library
 
 
Change password
Login