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 future mathematics...
Guardado en:
| Autor principal: | |
|---|---|
| Formato: | Livre numérique |
| Lenguaje: | Anglais |
| Publicado: |
New York, NY :
Springer New York : Imprint: Springer
[20..].
Cham : Springer Nature |
| Materias: | |
| Acceso en línea: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Nota: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • A logical introduction to proof, Daniel W. Cunningham, New York, Springer, 2012, 1 vol.(XV-356 p.), 978-1-461-43630-0 |
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
- 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