Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
The nuts and bolts of proofs [[electronic resource] /] / Antonella Cupillari
| 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
| 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
| 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
511.3 |
| 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 | ||
| ||