Visit our Christmas Gift Finder
On the Shape of Mathematical Arguments - Lecture Notes in Computer Science 445 (Paperback)
  • On the Shape of Mathematical Arguments - Lecture Notes in Computer Science 445 (Paperback)
zoom

On the Shape of Mathematical Arguments - Lecture Notes in Computer Science 445 (Paperback)

(author)
£59.99
Paperback 184 Pages / Published: 24/07/1990
  • We can order this

Usually dispatched within 3 weeks

  • This item has been added to your basket
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.

Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN: 9783540528494
Number of pages: 184
Weight: 640 g
Dimensions: 233 x 155 x 10 mm
Edition: 1990 ed.

You may also be interested in...

How to Build a Billion Dollar App
Added to basket
C Programming in Easy Steps
Added to basket
Coding for Beginners in easy steps
Added to basket
Learning Python
Added to basket
£51.99
Paperback
Automate The Boring Stuff With Python
Added to basket
Fluent Python
Added to basket
£39.99
Paperback
Python for Data Science For Dummies
Added to basket
Head First C
Added to basket
£39.99
Paperback
SQL in 10 Minutes, Sams Teach Yourself
Added to basket
SQL Pocket Guide
Added to basket
Python 3 for Absolute Beginners
Added to basket
Python For Dummies
Added to basket
£22.99
Paperback
Learn Python the Hard Way
Added to basket
£29.48
Mixed media product
Arduino Workshop
Added to basket
£24.99
Paperback
Python Crash Course
Added to basket
£33.99
Paperback

Please sign in to write a review

Your review has been submitted successfully.