A Logical Introduction to Proof

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

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor principal: Cunningham, Daniel W. (Autor)
Autor Corporativo: SpringerLink (Online service)
Formato: Electrónico eBook
Idioma:Inglés
Publicado: New York, NY : Springer New York : Imprint: Springer, 2013.
Edición:1st ed. 2013.
Temas:
Mathematics.
Mathematical logic.
Mathematical Logic and Foundations.
Acceso en línea:Texto Completo
Tabla de Contenidos:
  • 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.

Ejemplares similares