A Logical Introduction to Proof

• Κύριος συγγραφέας: Cunningham, Daniel W. (Συγγραφέας)
• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: New York, NY : Springer New York : Imprint: Springer, 2013.
• Θέματα: Mathematics.; Mathematical logic.; Mathematics, general.; Mathematical Logic and Foundations.

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 author’s approach  prepares the student for the rigors required in future mathemati...

Πίνακας περιεχομένων:

• 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.