| A Logical Introduction to Proof 2013 Edition Contributor(s): Cunningham, Daniel W. (Author) |
|
 |
ISBN: 1489990992 ISBN-13: 9781489990990 Publisher: Springer OUR PRICE: $52.24 Product Type: Paperback - Other Formats Published: October 2014 |
| Additional Information |
| BISAC Categories: - Mathematics | Logic |
| Dewey: 510 |
| Physical Information: 0.77" H x 6.14" W x 9.21" (1.15 lbs) 356 pages |
| Descriptions, Reviews, Etc. |
| Publisher Description: The book is intended for students who want to learn how to prove theorems and be better prepared for the rigors required in more advance mathematics. One of the key components in this textbook is the development of a methodology to lay bare the structure underpinning the construction of a proof, much as diagramming a sentence lays bare its grammatical structure. Diagramming a proof is a way of presenting the relationships between the various parts of a proof. A proof diagram provides a tool for showing students how to write correct mathematical proofs. |