A Logical Introduction to Proof

• Main Author: Cunningham, Daniel W. (Author)
• Corporate Author: SpringerLink (Online service)
• Format: Electronic
• Language: English
• Published: New York, NY : Springer New York : Imprint: Springer, 2013.
• Subjects: Mathematics.; Logic, Symbolic and mathematical.; Mathematics, general.; Mathematical Logic and Foundations.
• Online Access: https://ezaccess.library.uitm.edu.my/login?url=http://dx.doi.org/10.1007/978-1-4614-3631-7

A Logical Introduction to Proof is a unique textbook that uses a logic-first approach to train and guide undergraduates through a transition or bridge course �between calculus and advanced mathematics courses. �The authors approach �prepares the student for the rigors required in future mathemati...

Table of Contents:

• Preface
• The Greek Alphabet
• 1. Propositional Logic
• 2. Predicate Logic
• 3. Proof Strategies and Diagrams
• 4. Mathematical Induction
• 5. Set Theory
• 6. Functions
• 7. Relations
• 8. Core Concepts in Abstract Algebra
• 9. Core Concepts in Real Analysis
• A Summary of Strategies
• References
• List of Symbols. Index.