Apparel & Accessories 
Vehicles & Parts 
Toys & Games 
Sporting Goods 
Office Supplies 
Luggage & Bags 
Home & Garden 
Hardware 
Furniture 
Copied
Go to and paste the code at the checkout to enjoy
On the Shape of Mathematical Arguments
Best Price (Coupon Required):
Buy On the Shape of Mathematical Arguments for $36.00 at @ Link.springer.com when you apply the 10% OFF coupon at checkout.
Click “Get Coupon & Buy” to copy the code and unlock the deal.
Set a price drop alert to never miss an offer.
Single Product Purchase
Price Comparison
| Seller | Contact Seller | List Price | On Sale | Shipping | Best Promo | Final Price | Volume Discount | Financing | Availability | Seller's Page |
|---|---|---|---|---|---|---|---|---|---|---|
|
BEST PRICE 1 Product Purchase
|
|
$39.99 | $39.99 |
|
10% OFF
This deals requires coupon
|
$36.00 | See Site | In stock | Visit Store |
Product Details
This book deals with the presentation and systematic design of mathematical proofs, including correctness proofs of algorithms. Its purpose is to show how completeness of argument, an important constraint especially for the correctness of algorithms, can be combined with brevity. The author stresses that the use of formalism is indispensible for achieving this. A second purpose of the book is to discuss matters of design. Rather than addressing psychological questions, the author deals with more technical questions like how analysis of the shape of the demonstrandum can guide the design of a proof. This technical rather than psychological view of heuristics together with the stress on exploiting formalism effectively are two key features of the book. The book consists of two independently readable parts. One part includes a number of general chapters discussing techniques for clear exposition, the use of formalism, the choice of notations, the choice of what to name and how to name it, and so on. The other part consists of a series of expositional essays, each dealing with a proof or an algorithm and illustrating the use of techniques discussed in the more general chapters.
Reviews
Questions & Answers
Die Geschichte der Urologie in Dresden
$99.00
Salinity Resilience and Sustainable Crop Production Under Climate Change
$169.99
Wasseraufbereitung im Dampfkraftbetrieb
$59.99
Nitrogen Fixing Bacteria: Sustainable Growth of Non-legumes
$109.99
Super Rabbit Boy's Time Jump!: A Branches Book (Press Start! #9)
$5.24
The Nonlinear Universe
$59.99
Die stumme Myokardischmie
$69.99
Employer Branding
$44.99
Cross-Cultural Assessment of Psychological Trauma and PTSD
$169.99
Surgery for Cancers of the Gastrointestinal Tract
$99.00
Advances in Two-Phase Flow and Heat Transfer Fundamentals and Applications I & II
$549.99
Cable Shielding for Electromagnetic Compatibility
$109.00
Weird Fiction and Science at the Fin de Sicle
$109.99
Efficient Dynamic Simulation of Robotic Mechanisms
$109.99
External Thermal Insulation Composite Systems (ETICS)
$54.99
Relativistic Quantum Mechanics
$139.99
Dental Stem Cells: Regenerative Potential
$129.00
Simulation Studies of Recombination Kinetics and Spin Dynamics in Radiation Chemistry
$109.99
Perspektiven transzendentalphnomenologischer Forschung
$109.99
Mental Health Outcome Measures
$54.99
Achieving the Sustainable Development Goals Through Sustainable Food Systems
$89.00
Ost und West in Deutschland Trume, Wirklichkeit, Perspektiven
$59.99
Ein neues Software-System (RAMSES) zur Verarbeitung NMR-spektroskopischer Daten in der bildgebenden
$69.99
Comics - Bilder, Stories und Sequenzen in religisen Deutungskulturen
$64.99
Machine Learning and Knowledge Discovery in Databases
$54.99
Computer Vision/Computer Graphics Collaboration Techniques
$54.99
Israel Gesellschaft im Wandel
$64.99
Ibn al-Haythams Completion of the Conics
$169.00
Functional Gradient Materials and Surface Layers Prepared by Fine Particles Technology
$109.99
Islamistischer Terrorismus in Deutschland
$49.99
Social Constructionist Identity Politics and Literary Studies
$54.99
Atlas of Rheumatoid Arthritis
$69.99
The Illusion of Transparency in Corporate Governance
$84.99
Urban Migration and Public Governance in China
$89.00
Sonic Design
$49.99
Implantable Defibrillator Therapy: A Clinical Guide
$169.99
Visualisation for Semantic Information Systems
$39.99
Image Analysis and Processing - ICIAP 2023 Workshops
$119.99
Bildungs- und Berufserfolge junger Migranten
$39.99
STACS 92
$84.99
