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.
An Accompaniment to Higher Mathematics [[electronic resource] /] / by George R. Exner
| 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
| 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
Topology Logic, Symbolic and mathematical 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-9910960838603321 |
|
Exner George R.
|
||
| New York, NY : , : Springer New York : , : Imprint : Springer, , 1996 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Sets, Logic and Categories [[electronic resource] /] / by Peter J. Cameron
| Sets, Logic and Categories [[electronic resource] /] / by Peter J. Cameron |
| Autore | Cameron Peter J |
| Edizione | [1st ed. 1998.] |
| Pubbl/distr/stampa | London : , : Springer London : , : Imprint : Springer, , 1998 |
| Descrizione fisica | 1 online resource (X, 182 p.) |
| Disciplina | 511.3/22 |
| Collana | Springer Undergraduate Mathematics Series |
| Soggetto topico |
Mathematical logic
Category theory (Mathematics) Homological algebra K-theory Mathematical Logic and Foundations Category Theory, Homological Algebra K-Theory |
| ISBN | 1-4471-0589-3 |
| Classificazione |
03-01
00A05 13-01 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | 1. Naïve set theory -- 2. Ordinal numbers -- 3. Logic -- 4. First-order logic -- 5. Model theory -- 6. Axiomatic set theory -- 7. Categories -- 8. Where to from here? -- Solutions to selected exercises -- References. |
| Record Nr. | UNINA-9910479876403321 |
|
Cameron Peter J
|
||
| London : , : Springer London : , : Imprint : Springer, , 1998 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Sets, Logic and Categories [[electronic resource] /] / by Peter J. Cameron
| Sets, Logic and Categories [[electronic resource] /] / by Peter J. Cameron |
| Autore | Cameron Peter J |
| Edizione | [1st ed. 1998.] |
| Pubbl/distr/stampa | London : , : Springer London : , : Imprint : Springer, , 1998 |
| Descrizione fisica | 1 online resource (X, 182 p.) |
| Disciplina | 511.3/22 |
| Collana | Springer Undergraduate Mathematics Series |
| Soggetto topico |
Mathematical logic
Category theory (Mathematics) Homological algebra K-theory Mathematical Logic and Foundations Category Theory, Homological Algebra K-Theory |
| ISBN | 1-4471-0589-3 |
| Classificazione |
03-01
00A05 13-01 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | 1. Naïve set theory -- 2. Ordinal numbers -- 3. Logic -- 4. First-order logic -- 5. Model theory -- 6. Axiomatic set theory -- 7. Categories -- 8. Where to from here? -- Solutions to selected exercises -- References. |
| Record Nr. | UNINA-9910789345203321 |
|
Cameron Peter J
|
||
| London : , : Springer London : , : Imprint : Springer, , 1998 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Sets, Logic and Categories / / by Peter J. Cameron
| Sets, Logic and Categories / / by Peter J. Cameron |
| Autore | Cameron Peter J |
| Edizione | [1st ed. 1998.] |
| Pubbl/distr/stampa | London : , : Springer London : , : Imprint : Springer, , 1998 |
| Descrizione fisica | 1 online resource (X, 182 p.) |
| Disciplina | 511.3/22 |
| Collana | Springer Undergraduate Mathematics Series |
| Soggetto topico |
Logic, Symbolic and mathematical
Algebra, Homological K-theory Mathematical Logic and Foundations Category Theory, Homological Algebra K-Theory |
| ISBN | 1-4471-0589-3 |
| Classificazione |
03-01
00A05 13-01 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | 1. Naïve set theory -- 2. Ordinal numbers -- 3. Logic -- 4. First-order logic -- 5. Model theory -- 6. Axiomatic set theory -- 7. Categories -- 8. Where to from here? -- Solutions to selected exercises -- References. |
| Record Nr. | UNINA-9910962004603321 |
|
Cameron Peter J
|
||
| London : , : Springer London : , : Imprint : Springer, , 1998 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||