Gå direkte til innholdet
On the Shape of Mathematical Arguments
Spar

On the Shape of Mathematical Arguments

This book deals with the presentation and systematic design of mathematical proofs, including correctness proofs of algorithms. 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.
Opplag
1990 ed.
ISBN
9783540528494
Språk
Engelsk
Vekt
310 gram
Utgivelsesdato
24.7.1990
Antall sider
184