How to Prove It: A Structured Approach | 
| Author: Daniel J. Velleman
Publisher: Cambridge University Press
Category: Book
List Price: $29.99
Buy New: $19.64
You Save: $10.35 (35%)
New (26) Used (11) from $18.98
Avg. Customer Rating:  27 reviews
Sales Rank: 126185
Media: Paperback
Edition: 2
Number Of Items: 1
Pages: 384
Shipping Weight (lbs): 1.2
Dimensions (in): 9 x 6 x 0.9
ISBN: 0521675995
Dewey Decimal Number: 511.3
EAN: 9780521675994
ASIN: 0521675995
Publication Date: January 16, 2006
Availability: Usually ships in 1-2 business days
Shipping: International shipping available
Condition: Brand new item. Over 4 million customers served. Order now. Selling online since 1995. Few left in stock - order soon. Code: C20081118203843B
|
| Also Available In:
|
| Similar Items:
|
| Editorial Reviews:
Product Description
Geared to preparing students to make the transition from solving problems to proving theorems, this text teaches them the techniques needed to read and write proofs. The book begins with the basic concepts of logic and set theory, to familiarize students with the language of mathematics and how it is interpreted. These concepts are used as the basis for a step-by-step breakdown of the most important techniques used in constructing proofs. To help students construct their own proofs, this new edition contains over 200 new exercises, selected solutions, and an introduction to Proof Designer software. No background beyond standard high school mathematics is assumed. Previous Edition Hb (1994) 0-521-44116-1 Previous Edition Pb (1994) 0-521-44663-5
Book Description
Beginning with the basic concepts of logic and set theory, this book teaches the language of mathematics and how it is interpreted. The author uses these concepts as the basis for a step-by-step breakdown of the most important techniques used in constructing proofs. He shows how complex proofs are built up from these smaller steps, using detailed "scratch work" sections to expose the machinery of proofs about the natural numbers, relations, functions, and infinite sets. To give students the opportunity to construct their own proofs, this new edition contains over 200 new exercises, selected solutions, and an introduction to Proof Designer software.
|
| Customer Reviews: Read 22 more reviews...
 How To Prove It: A Structured Approach 2nd Edition August 27, 2008
How To Prove It: A Secured Approach 2nd Edition by Daniel J. Velleman
I highly recommend this book for any student who is trying to improve his or her understanding of mathematical or computational proofs. I am an undergraduate student in the Northeastern United States and this book will undoubtly help me with my mathematics course that involve formal proofs. Some people try to understand proofs "naturally" in advanced math courses. This can be a time consuming and unfruitful venture if you don't get the proofs right away or have a bad TA. This book's step by step approach to mathematical logic will give you excellent strategies for tackling any type of proof.
I recommend only buying this book if you have a lot of time to invest. If you are looking for light reading or a quick review this is the wrong book. It took me about 2-4 hours to fully digest each chapter.
Good book, but it requires a lot of work to be useful June 22, 2008
0 out of 2 found this review helpful
Reading this book will not help you write proofs in the least. How to Prove It, to help you at all, will require lots of time and effort after reading each chapter, actually doing proofs.
Anyone who has done proofs, or attempted to do proofs, should not be surprised that there is no magic key. Working through this book is required for improvement, just a quick read will get you no where.
That said, the time is well worth it. When you think back to how hard proofs used to be after working through the book, you will feel like a super genius with your new found skill.
 proofs give me headaches September 14, 2007
0 out of 2 found this review helpful
I am a math instructor, and hate proofs even more than the students do. However, this book is about the process of formal proof, from a logician's viewpoint. Understanding the structure of the proof process makes the pain tolerable.
The real reason I bought this is an interest in theorem proving software. What seemed a dead end is a useful although limited tool. I need to understand the process better to use the tools.
Quality overview March 8, 2007
0 out of 4 found this review helpful
This book does give you the important structure behind proofs and the methodology needed to produce them yourself.
Rigorous but accesible..an engineer's intro to proofs June 17, 2006
4 out of 7 found this review helpful
I write this review on the context of having done all the math required for mechanical engineer but never havin to do proofs... as B.Rusell once said do and the by faith you will believe... trying to escape that state of mind I got this book some years ago, Im glad for the author follows a structure approach similar to learning a programming language, once you master some elemenatry techniques you can stack up to create refined algorithms.
|
|
|
