Tell your friends about this item:
On the Shape of Mathematical Arguments - Lecture Notes in Computer Science Antonetta J.m.van Gasteren 1990 edition
On the Shape of Mathematical Arguments - Lecture Notes in Computer Science
Antonetta J.m.van Gasteren
Featuring a technical rather than psychological view of heuristics and a stress on exploiting formalism effectively, this book deals with the presentation and systematic design of mathematical proofs, including correctness proofs of algorithms.
196 pages, biography
| Media | Books Paperback Book (Book with soft cover and glued back) |
| Released | July 24, 1990 |
| ISBN13 | 9783540528494 |
| Publishers | Springer-Verlag Berlin and Heidelberg Gm |
| Pages | 196 |
| Dimensions | 155 × 233 × 10 mm · 285 g |
| Language | English |
| Contributor | Edsger W. Dijkstra |