A Logical Introduction to Proof

A Logical Introduction to Proof by Daniel W. Cunningham.

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

Full description

Saved in:
Bibliographic Details
Main Author: Cunningham, Daniel W. (Author)
Corporate Author: SpringerLink (Online service)
Format: eBook
Language:English
Published: New York, NY : Springer New York : Imprint: Springer, 2013.
Edition:1st ed. 2013.
Series:Springer eBook Collection.
Subjects:
Mathematics.
Mathematical logic.
Electronic resources (E-books)
Online Access:Click to view e-book
Holy Cross Note:Loaded electronically.
Electronic access restricted to members of the Holy Cross Community.
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.

Similar Items