The nuts and bolts of proofs [[electronic resource] /] / Antonella Cupillari |
Autore | Cupillari Antonella |
Edizione | [3rd ed.] |
Pubbl/distr/stampa | Amsterdam ; ; Boston, : Elsevier Academic Press, c2005 |
Descrizione fisica | 1 online resource (193 p.) |
Disciplina | 511.3/6 |
Soggetto topico | Proof theory |
Soggetto genere / forma | Electronic books. |
ISBN |
1-281-05681-2
9786611056810 0-08-053790-1 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto |
Front Cover; The Nuts and Bolts of Proofs; Copyright Page; List of Symbols; Contents; Preface; Chapter 1. Introduction and Basic Terminology; Chapter 2. General Suggestions; Chapter 3. Basic Techniques to Prove If/Then Statements; Direct Proof; Related Statements; Proof by Contrapositive (AKA Proof by Contradiction or Indirect Proof); How to Construct the Negation of a Statement; Chapter 4. Special Kinds of Theorems; ""If and Only If"" or ""Equivalence Theorems""; Use of Counterexamples; Mathematical Induction; Existence Theorems; Uniqueness Theorems; Equality of Sets; Equality of Numbers
Composite StatementsLimits; Chapter 5. Review Exercises; Chapter 6. Exercises Without Solutions; Chapter 7. Collection of Proofs; Chapter 8. Solutions for the Exercises at the End of the Sections and the Review Exercises; Solutions for the Exercises at the End of the Sections; Solutions for the Review Exercises; Chapter 9. Other Books on the Subject of Proofs and Mathematical Writing; Index; A Guide to Selecting a Method of Proof |
Record Nr. | UNINA-9910458474003321 |
Cupillari Antonella | ||
Amsterdam ; ; Boston, : Elsevier Academic Press, c2005 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
The nuts and bolts of proofs [[electronic resource] /] / Antonella Cupillari |
Autore | Cupillari Antonella |
Edizione | [3rd ed.] |
Pubbl/distr/stampa | Amsterdam ; ; Boston, : Elsevier Academic Press, c2005 |
Descrizione fisica | 1 online resource (193 p.) |
Disciplina | 511.3/6 |
Soggetto topico | Proof theory |
ISBN |
1-281-05681-2
9786611056810 0-08-053790-1 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto |
Front Cover; The Nuts and Bolts of Proofs; Copyright Page; List of Symbols; Contents; Preface; Chapter 1. Introduction and Basic Terminology; Chapter 2. General Suggestions; Chapter 3. Basic Techniques to Prove If/Then Statements; Direct Proof; Related Statements; Proof by Contrapositive (AKA Proof by Contradiction or Indirect Proof); How to Construct the Negation of a Statement; Chapter 4. Special Kinds of Theorems; ""If and Only If"" or ""Equivalence Theorems""; Use of Counterexamples; Mathematical Induction; Existence Theorems; Uniqueness Theorems; Equality of Sets; Equality of Numbers
Composite StatementsLimits; Chapter 5. Review Exercises; Chapter 6. Exercises Without Solutions; Chapter 7. Collection of Proofs; Chapter 8. Solutions for the Exercises at the End of the Sections and the Review Exercises; Solutions for the Exercises at the End of the Sections; Solutions for the Review Exercises; Chapter 9. Other Books on the Subject of Proofs and Mathematical Writing; Index; A Guide to Selecting a Method of Proof |
Record Nr. | UNINA-9910784551203321 |
Cupillari Antonella | ||
Amsterdam ; ; Boston, : Elsevier Academic Press, c2005 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
The nuts and bolts of proofs / / Antonella Cupillari |
Autore | Cupillari Antonella |
Edizione | [3rd ed.] |
Pubbl/distr/stampa | Amsterdam ; ; Boston, : Elsevier Academic Press, c2005 |
Descrizione fisica | 1 online resource (193 p.) |
Disciplina | 511.3/6 |
Soggetto topico | Proof theory |
ISBN |
1-281-05681-2
9786611056810 0-08-053790-1 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto |
Front Cover; The Nuts and Bolts of Proofs; Copyright Page; List of Symbols; Contents; Preface; Chapter 1. Introduction and Basic Terminology; Chapter 2. General Suggestions; Chapter 3. Basic Techniques to Prove If/Then Statements; Direct Proof; Related Statements; Proof by Contrapositive (AKA Proof by Contradiction or Indirect Proof); How to Construct the Negation of a Statement; Chapter 4. Special Kinds of Theorems; ""If and Only If"" or ""Equivalence Theorems""; Use of Counterexamples; Mathematical Induction; Existence Theorems; Uniqueness Theorems; Equality of Sets; Equality of Numbers
Composite StatementsLimits; Chapter 5. Review Exercises; Chapter 6. Exercises Without Solutions; Chapter 7. Collection of Proofs; Chapter 8. Solutions for the Exercises at the End of the Sections and the Review Exercises; Solutions for the Exercises at the End of the Sections; Solutions for the Review Exercises; Chapter 9. Other Books on the Subject of Proofs and Mathematical Writing; Index; A Guide to Selecting a Method of Proof |
Record Nr. | UNINA-9910826868003321 |
Cupillari Antonella | ||
Amsterdam ; ; Boston, : Elsevier Academic Press, c2005 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|