A Logical Introduction to Proof
Seiten
2014
Springer-Verlag New York Inc.
978-1-4899-9099-0 (ISBN)
Springer-Verlag New York Inc.
978-1-4899-9099-0 (ISBN)
One of the key components in this textbook is the development of a methodology to lay bare the structure underpinning the construction of a proof, much as diagramming a sentence lays bare its grammatical structure. A proof diagram provides a tool for showing students how to write correct mathematical proofs.
The book is intended for students who want to learn how to prove theorems and be better prepared for the rigors required in more advance mathematics. One of the key components in this textbook is the development of a methodology to lay bare the structure underpinning the construction of a proof, much as diagramming a sentence lays bare its grammatical structure. Diagramming a proof is a way of presenting the relationships between the various parts of a proof. A proof diagram provides a tool for showing students how to write correct mathematical proofs.
The book is intended for students who want to learn how to prove theorems and be better prepared for the rigors required in more advance mathematics. One of the key components in this textbook is the development of a methodology to lay bare the structure underpinning the construction of a proof, much as diagramming a sentence lays bare its grammatical structure. Diagramming a proof is a way of presenting the relationships between the various parts of a proof. A proof diagram provides a tool for showing students how to write correct mathematical proofs.
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.
| Zusatzinfo | XVI, 356 p. |
|---|---|
| Verlagsort | New York |
| Sprache | englisch |
| Maße | 155 x 235 mm |
| Themenwelt | Mathematik / Informatik ► Mathematik ► Allgemeines / Lexika |
| Mathematik / Informatik ► Mathematik ► Logik / Mengenlehre | |
| ISBN-10 | 1-4899-9099-2 / 1489990992 |
| ISBN-13 | 978-1-4899-9099-0 / 9781489990990 |
| Zustand | Neuware |
| Haben Sie eine Frage zum Produkt? |
Mehr entdecken
aus dem Bereich
aus dem Bereich
