Recomienda este artículo a tus amigos:
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
| Medios de comunicación | Libros Paperback Book (Libro con tapa blanda y lomo encolado) |
| Publicado | 24 de julio de 1990 |
| ISBN13 | 9783540528494 |
| Editores | Springer-Verlag Berlin and Heidelberg Gm |
| Páginas | 196 |
| Dimensiones | 155 × 233 × 10 mm · 285 g |
| Lengua | Inglés |
| Colaborador | Edsger W. Dijkstra |