An Accompaniment to Higher Mathematics [[electronic resource] /] / by George R. Exner |
Autore | Exner George R |
Edizione | [1st ed. 1996.] |
Pubbl/distr/stampa | New York, NY : , : Springer New York : , : Imprint : Springer, , 1996 |
Descrizione fisica | 1 online resource (XVII, 200 p.) |
Disciplina | 511.3 |
Collana | Undergraduate Texts in Mathematics |
Soggetto topico |
Mathematical analysis
Analysis (Mathematics) Topology Mathematical logic Analysis Mathematical Logic and Foundations |
ISBN | 1-4612-3998-2 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | 1 Examples -- 1.1 Propaganda -- 1.2 Basic Examples for Definitions -- 1.3 Basic Examples for Theorems -- 1.4 Extended Examples -- 1.5 Notational Interlude -- 1.6 Examples Again: Standard Sources -- 1.7 Non-examples for Definitions -- 1.8 Non-examples for Theorems -- 1.9 Summary and More Propaganda -- 1.10 What Next? -- 2 Informal Language and Proof -- 2.1 Ordinary Language Clues -- 2.2 Real-Life Proofs vs. Rules of Thumb -- 2.3 Proof Forms for Implication -- 2.4 Two More Proof Forms -- 2.5 The Other Shoe, and Propaganda -- 3 For mal Language and Proof -- 3.1 Propaganda -- 3.2 Formal Language: Basics -- 3.3 Quantifiers -- 3.4 Finding Proofs from Structure -- 3.5 Summary, Propaganda, and What Next? -- 4 Laboratories -- 4.1 Lab I: Sets by Example -- 4.2 Lab II: Functions by Example -- 4.3 Lab III: Sets and Proof -- 4.4 Lab IV: Functions and Proof -- 4.5 Lab V: Function of Sets -- 4.6 Lab VI: Families of Sets -- A Theoretical Apologia -- B Hints -- References. |
Record Nr. | UNINA-9910480848803321 |
Exner George R | ||
New York, NY : , : Springer New York : , : Imprint : Springer, , 1996 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
An Accompaniment to Higher Mathematics [[electronic resource] /] / by George R. Exner |
Autore | Exner George R |
Edizione | [1st ed. 1996.] |
Pubbl/distr/stampa | New York, NY : , : Springer New York : , : Imprint : Springer, , 1996 |
Descrizione fisica | 1 online resource (XVII, 200 p.) |
Disciplina | 511.3 |
Collana | Undergraduate Texts in Mathematics |
Soggetto topico |
Mathematical analysis
Analysis (Mathematics) Topology Mathematical logic Analysis Mathematical Logic and Foundations |
ISBN | 1-4612-3998-2 |
Classificazione | 00A05 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | 1 Examples -- 1.1 Propaganda -- 1.2 Basic Examples for Definitions -- 1.3 Basic Examples for Theorems -- 1.4 Extended Examples -- 1.5 Notational Interlude -- 1.6 Examples Again: Standard Sources -- 1.7 Non-examples for Definitions -- 1.8 Non-examples for Theorems -- 1.9 Summary and More Propaganda -- 1.10 What Next? -- 2 Informal Language and Proof -- 2.1 Ordinary Language Clues -- 2.2 Real-Life Proofs vs. Rules of Thumb -- 2.3 Proof Forms for Implication -- 2.4 Two More Proof Forms -- 2.5 The Other Shoe, and Propaganda -- 3 For mal Language and Proof -- 3.1 Propaganda -- 3.2 Formal Language: Basics -- 3.3 Quantifiers -- 3.4 Finding Proofs from Structure -- 3.5 Summary, Propaganda, and What Next? -- 4 Laboratories -- 4.1 Lab I: Sets by Example -- 4.2 Lab II: Functions by Example -- 4.3 Lab III: Sets and Proof -- 4.4 Lab IV: Functions and Proof -- 4.5 Lab V: Function of Sets -- 4.6 Lab VI: Families of Sets -- A Theoretical Apologia -- B Hints -- References. |
Record Nr. | UNINA-9910783136203321 |
Exner George R | ||
New York, NY : , : Springer New York : , : Imprint : Springer, , 1996 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
An Accompaniment to Higher Mathematics / / by George R. Exner |
Autore | Exner George R |
Edizione | [1st ed. 1996.] |
Pubbl/distr/stampa | New York, NY : , : Springer New York : , : Imprint : Springer, , 1996 |
Descrizione fisica | 1 online resource (XVII, 200 p.) |
Disciplina | 511.3 |
Collana | Undergraduate Texts in Mathematics |
Soggetto topico |
Mathematical analysis
Analysis (Mathematics) Topology Mathematical logic Analysis Mathematical Logic and Foundations |
ISBN | 1-4612-3998-2 |
Classificazione | 00A05 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | 1 Examples -- 1.1 Propaganda -- 1.2 Basic Examples for Definitions -- 1.3 Basic Examples for Theorems -- 1.4 Extended Examples -- 1.5 Notational Interlude -- 1.6 Examples Again: Standard Sources -- 1.7 Non-examples for Definitions -- 1.8 Non-examples for Theorems -- 1.9 Summary and More Propaganda -- 1.10 What Next? -- 2 Informal Language and Proof -- 2.1 Ordinary Language Clues -- 2.2 Real-Life Proofs vs. Rules of Thumb -- 2.3 Proof Forms for Implication -- 2.4 Two More Proof Forms -- 2.5 The Other Shoe, and Propaganda -- 3 For mal Language and Proof -- 3.1 Propaganda -- 3.2 Formal Language: Basics -- 3.3 Quantifiers -- 3.4 Finding Proofs from Structure -- 3.5 Summary, Propaganda, and What Next? -- 4 Laboratories -- 4.1 Lab I: Sets by Example -- 4.2 Lab II: Functions by Example -- 4.3 Lab III: Sets and Proof -- 4.4 Lab IV: Functions and Proof -- 4.5 Lab V: Function of Sets -- 4.6 Lab VI: Families of Sets -- A Theoretical Apologia -- B Hints -- References. |
Record Nr. | UNINA-9910826595303321 |
Exner George R | ||
New York, NY : , : Springer New York : , : Imprint : Springer, , 1996 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|