• Open Daily: 10am - 10pm
    Alley-side Pickup: 10am - 7pm

    3038 Hennepin Ave Minneapolis, MN
    612-822-4611

Open Daily: 10am - 10pm | Alley-side Pickup: 10am - 7pm
3038 Hennepin Ave Minneapolis, MN
612-822-4611
On the Shape of Mathematical Arguments

On the Shape of Mathematical Arguments

Paperback

Series: Lecture Notes in Computer Science, Book 445

FictionProgramming

ISBN10: 3540528490
ISBN13: 9783540528494
Publisher: Springer Nature
Published: Jul 24 1990
Pages: 184
Weight: 0.63
Height: 0.42 Width: 6.14 Depth: 9.21
Language: English
This book deals with the presentation and systematic design of mathematical proofs, including correctness proofs of algorithms. A technical rather than psychological view of heuristics and a stress on exploiting for- malism effectively are two key features.

Also in

Fiction