- Identifies the important topics in logic that mathematicians use in their proofs
- Methodically presents the key strategies used in mathematical proofs
- Each proof strategy is illustrated by a variety of theorems concerning the natural, rational and real numbers
- An introduction to group theory and real analysis that presents proof strategies for dealing with the core concepts introduced in these subjects
Buy this book
- About this Textbook
-
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.
- Reviews
-
From the reviews:
“Cunningham (Buffalo State, SUNY) focuses on the strategies for different proof techniques. … The well-written text is consistent in its focus, which should help students. The book includes sufficient, appropriate exercises. … contains ample notes to guide students through most of the exercises. Whether used for a course or as a reference for students learning proof techniques, this book is certainly worthy of consideration. Summing Up: Highly recommended. Lower-division undergraduates through graduate students.” (J. R. Burke, Choice, Vol. 51 (1), September, 2013)
- Table of contents (9 chapters)
-
-
Propositional Logic
Pages 1-28
-
Predicate Logic
Pages 29-60
-
Proof Strategies and Diagrams
Pages 61-98
-
Mathematical Induction
Pages 99-141
-
Set Theory
Pages 143-168
-
Table of contents (9 chapters)
Buy this book
Services for this Book
Recommended for you
Bibliographic Information
- Bibliographic Information
-
- Book Title
- A Logical Introduction to Proof
- Authors
-
- Daniel Cunningham
- Copyright
- 2013
- Publisher
- Springer-Verlag New York
- Copyright Holder
- Springer Science+Business Media New York
- eBook ISBN
- 978-1-4614-3631-7
- DOI
- 10.1007/978-1-4614-3631-7
- Hardcover ISBN
- 978-1-4614-3630-0
- Softcover ISBN
- 978-1-4899-9099-0
- Edition Number
- 1
- Number of Pages
- XVI, 356
- Topics
*immediately available upon purchase as print book shipments may be delayed due to the COVID-19 crisis. ebook access is temporary and does not include ownership of the ebook. Only valid for books with an ebook version. Springer Reference Works are not included.
