Foreword by Edsger W. Dijkstra. Book treats the presentation and systematic design of mathematical proofs, including correctness proofs of algorithms. Completeness of argument, an important constraint especially for the correctness of algorithms, can be combined with brevity. To this end, the use of formalism is indispensible. A second purpose is to discuss matters of design.

Скачать книгу бесплатно (pdf, 1.41 Mb)

---

Читать «On the Shape of Mathematical Arguments»