On the Shape of Mathematical Arguments

by Antonetta J.M. van Gasteren

This book deals with the presentation and systematic design of mathematical proofs, including correctness proofs of algorithms. A technical rather than psychological view of heuristics and a stress on exploiting for- malism effectively are two key features.

• Format: Paperback
• Language: English
• ISBN: 3540528490
• ISBN13: 9783540528494
• Release Date: July 1990
• Publisher: Springer
• Length: 184 Pages
• Weight: 0.63 lbs.
• Dimensions: 0.4" x 6.1" x 9.2"