On the Shape of Mathematical Arguments
Antonetta J.M. van Gasteren, Edsger W. Dijkstra
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.
Ссылка удалена правообладателем
----
The book removed at the request of the copyright holder.
