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.
Handbook of Mathematical Induction : Theory and Applications
| Handbook of Mathematical Induction : Theory and Applications |
| Autore | Gunderson David S. |
| Edizione | [First edition.] |
| Pubbl/distr/stampa | Boca Raton, FL : , : CRC Press, , 2014 |
| Descrizione fisica | 1 online resource (xxv, 893 pages) : illustrations |
| Disciplina | 511.3/6 |
| Collana | Discrete mathematics and its applications |
| Soggetto topico |
Proof theory
Induction (Mathematics) Logic, Symbolic and mathematical Probabilities |
| Soggetto genere / forma | Electronic books. |
| ISBN |
0-429-14793-7
1-4200-9365-7 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | What is mathematical induction? -- Foundations -- Variants of finite mathematical induction -- Inductive techniques applied to the infinite -- Paradoxes and sophisms from induction -- Empirical induction -- How to prove by induction -- The written MI proof -- Identities -- Inequalities -- Number theory -- Sequences -- Sets -- Logic and language -- Graphs -- Recursion and algorithms -- Games and recreations -- Relations and functions -- Linear and abstract algebra -- Geometry -- Ramsey theory -- Probability and statistics. |
| Record Nr. | UNINA-9910468010203321 |
Gunderson David S.
|
||
| Boca Raton, FL : , : CRC Press, , 2014 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Handbook of Mathematical Induction : Theory and Applications
| Handbook of Mathematical Induction : Theory and Applications |
| Autore | Gunderson David S. |
| Edizione | [First edition.] |
| Pubbl/distr/stampa | Boca Raton, FL : , : CRC Press, , 2014 |
| Descrizione fisica | 1 online resource (xxv, 893 pages) : illustrations |
| Disciplina | 511.3/6 |
| Collana | Discrete mathematics and its applications |
| Soggetto topico |
Proof theory
Induction (Mathematics) Logic, Symbolic and mathematical Probabilities |
| ISBN |
0-429-14793-7
1-4200-9365-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | What is mathematical induction? -- Foundations -- Variants of finite mathematical induction -- Inductive techniques applied to the infinite -- Paradoxes and sophisms from induction -- Empirical induction -- How to prove by induction -- The written MI proof -- Identities -- Inequalities -- Number theory -- Sequences -- Sets -- Logic and language -- Graphs -- Recursion and algorithms -- Games and recreations -- Relations and functions -- Linear and abstract algebra -- Geometry -- Ramsey theory -- Probability and statistics. |
| Record Nr. | UNINA-9910795190503321 |
|
Gunderson David S.
|
||
| Boca Raton, FL : , : CRC Press, , 2014 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Handbook of Mathematical Induction : Theory and Applications
| Handbook of Mathematical Induction : Theory and Applications |
| Autore | Gunderson David S. |
| Edizione | [First edition.] |
| Pubbl/distr/stampa | Boca Raton, FL : , : CRC Press, , 2014 |
| Descrizione fisica | 1 online resource (xxv, 893 pages) : illustrations |
| Disciplina | 511.3/6 |
| Collana | Discrete mathematics and its applications |
| Soggetto topico |
Proof theory
Induction (Mathematics) Logic, Symbolic and mathematical Probabilities |
| ISBN |
0-429-14793-7
1-4200-9365-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | What is mathematical induction? -- Foundations -- Variants of finite mathematical induction -- Inductive techniques applied to the infinite -- Paradoxes and sophisms from induction -- Empirical induction -- How to prove by induction -- The written MI proof -- Identities -- Inequalities -- Number theory -- Sequences -- Sets -- Logic and language -- Graphs -- Recursion and algorithms -- Games and recreations -- Relations and functions -- Linear and abstract algebra -- Geometry -- Ramsey theory -- Probability and statistics. |
| Record Nr. | UNINA-9910799962603321 |
|
Gunderson David S.
|
||
| Boca Raton, FL : , : CRC Press, , 2014 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Iterated inductive definitions and subsystems of analysis : recent proof-theoretical studies. / / Wilfried Buchholz [and three others]
| Iterated inductive definitions and subsystems of analysis : recent proof-theoretical studies. / / Wilfried Buchholz [and three others] |
| Autore | Buchholz Wilfried <1948-> |
| Edizione | [1st ed. 1981.] |
| Pubbl/distr/stampa | Berlin : , : Springer-Verlag, , [1981] |
| Descrizione fisica | 1 online resource (VIII, 384 p.) |
| Disciplina | 511.31 |
| Collana | Lecture notes in mathematics |
| Soggetto topico | Induction (Mathematics) |
| ISBN | 3-540-38649-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Inductive definitions and subsystems of analysis -- Proof theoretic equivalences between classical and constructive theories for analysis -- Inductive definitions, constructive ordinals, and normal derivations -- The ??+1-Rule -- Ordinal analysis of ID? -- Proof-theoretical analysis of ID? by the method of local predicativity. |
| Record Nr. | UNISA-996466513003316 |
|
Buchholz Wilfried <1948->
|
||
| Berlin : , : Springer-Verlag, , [1981] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Non-additive exact functors and tensor induction for Mackey functors / / Serge Bouc
| Non-additive exact functors and tensor induction for Mackey functors / / Serge Bouc |
| Autore | Bouc Serge <1955-> |
| Pubbl/distr/stampa | Providence, Rhode Island : , : American Mathematical Society, , [2000] |
| Descrizione fisica | 1 online resource (89 p.) |
| Disciplina |
510 s
512/.55 |
| Collana | Memoirs of the American Mathematical Society |
| Soggetto topico |
Functor theory
Induction (Mathematics) Homology theory |
| Soggetto genere / forma | Electronic books. |
| ISBN | 1-4704-0274-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | ""Contents""; ""1. Introduction""; ""2. Non additive exact functors""; ""3. Permutation Mackey functors""; ""4. Tensor induction for Mackey functors""; ""5. Relations with the functors L[sub(U)]""; ""6. Direct product of Mackey functors""; ""7. Tensor induction for Green functors""; ""8. Cohomological tensor induction""; ""9. Tensor induction for p-permutation modules""; ""10. Tensor induction for modules""; ""Bibliography"" |
| Record Nr. | UNINA-9910480598303321 |
|
Bouc Serge <1955->
|
||
| Providence, Rhode Island : , : American Mathematical Society, , [2000] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Non-additive exact functors and tensor induction for Mackey functors / / Serge Bouc
| Non-additive exact functors and tensor induction for Mackey functors / / Serge Bouc |
| Autore | Bouc Serge <1955-> |
| Pubbl/distr/stampa | Providence, Rhode Island : , : American Mathematical Society, , [2000] |
| Descrizione fisica | 1 online resource (89 p.) |
| Disciplina |
510 s
512/.55 |
| Collana | Memoirs of the American Mathematical Society |
| Soggetto topico |
Functor theory
Induction (Mathematics) Homology theory |
| ISBN | 1-4704-0274-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | ""Contents""; ""1. Introduction""; ""2. Non additive exact functors""; ""3. Permutation Mackey functors""; ""4. Tensor induction for Mackey functors""; ""5. Relations with the functors L[sub(U)]""; ""6. Direct product of Mackey functors""; ""7. Tensor induction for Green functors""; ""8. Cohomological tensor induction""; ""9. Tensor induction for p-permutation modules""; ""10. Tensor induction for modules""; ""Bibliography"" |
| Record Nr. | UNINA-9910788739603321 |
|
Bouc Serge <1955->
|
||
| Providence, Rhode Island : , : American Mathematical Society, , [2000] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Non-additive exact functors and tensor induction for Mackey functors / / Serge Bouc
| Non-additive exact functors and tensor induction for Mackey functors / / Serge Bouc |
| Autore | Bouc Serge <1955-> |
| Pubbl/distr/stampa | Providence, Rhode Island : , : American Mathematical Society, , [2000] |
| Descrizione fisica | 1 online resource (89 p.) |
| Disciplina |
510 s
512/.55 |
| Collana | Memoirs of the American Mathematical Society |
| Soggetto topico |
Functor theory
Induction (Mathematics) Homology theory |
| ISBN | 1-4704-0274-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | ""Contents""; ""1. Introduction""; ""2. Non additive exact functors""; ""3. Permutation Mackey functors""; ""4. Tensor induction for Mackey functors""; ""5. Relations with the functors L[sub(U)]""; ""6. Direct product of Mackey functors""; ""7. Tensor induction for Green functors""; ""8. Cohomological tensor induction""; ""9. Tensor induction for p-permutation modules""; ""10. Tensor induction for modules""; ""Bibliography"" |
| Record Nr. | UNINA-9910818129503321 |
|
Bouc Serge <1955->
|
||
| Providence, Rhode Island : , : American Mathematical Society, , [2000] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Parabolic subgroups of algebraic groups and induction / / David C. Vella
| Parabolic subgroups of algebraic groups and induction / / David C. Vella |
| Autore | Vella David C. <1954-> |
| Pubbl/distr/stampa | Providence, Rhode Island : , : American Mathematical Society, , 1986 |
| Descrizione fisica | 1 online resource (129 p.) |
| Disciplina | 514/.23 |
| Collana | Memoirs of the American Mathematical Society |
| Soggetto topico |
Homology theory
Representations of groups Induction (Mathematics) |
| Soggetto genere / forma | Electronic books. |
| ISBN | 1-4704-0763-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | ""Table of Contents""; ""Abstract""; ""Acknowledgements""; ""Table of Notation""; ""Section 1. Introduction and Review of Induced Modules""; ""Section 2. Levi Decompositions""; ""Section 3. Irreducible Modules for Parabolic Subgroups""; ""Section 4. Induction and Parabolic Subgroups I""; ""Section 5. Induction and Parabolic Subgroups II""; ""Section 6. The Overlap Index of a Coupled Parabolic System""; ""Section 7. Induction from a Coupled Parabolic System H[sup(J)][sub(K)]""; ""Section 8. Applications to the Cohomology of Rank 2 Bundles on G/P""; ""References"" |
| Record Nr. | UNINA-9910480693503321 |
|
Vella David C. <1954->
|
||
| Providence, Rhode Island : , : American Mathematical Society, , 1986 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Parabolic subgroups of algebraic groups and induction / / David C. Vella
| Parabolic subgroups of algebraic groups and induction / / David C. Vella |
| Autore | Vella David C. <1954-> |
| Pubbl/distr/stampa | Providence, Rhode Island : , : American Mathematical Society, , 1986 |
| Descrizione fisica | 1 online resource (129 p.) |
| Disciplina | 514/.23 |
| Collana | Memoirs of the American Mathematical Society |
| Soggetto topico |
Homology theory
Representations of groups Induction (Mathematics) |
| ISBN | 1-4704-0763-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | ""Table of Contents""; ""Abstract""; ""Acknowledgements""; ""Table of Notation""; ""Section 1. Introduction and Review of Induced Modules""; ""Section 2. Levi Decompositions""; ""Section 3. Irreducible Modules for Parabolic Subgroups""; ""Section 4. Induction and Parabolic Subgroups I""; ""Section 5. Induction and Parabolic Subgroups II""; ""Section 6. The Overlap Index of a Coupled Parabolic System""; ""Section 7. Induction from a Coupled Parabolic System H[sup(J)][sub(K)]""; ""Section 8. Applications to the Cohomology of Rank 2 Bundles on G/P""; ""References"" |
| Record Nr. | UNINA-9910788881603321 |
|
Vella David C. <1954->
|
||
| Providence, Rhode Island : , : American Mathematical Society, , 1986 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Parabolic subgroups of algebraic groups and induction / / David C. Vella
| Parabolic subgroups of algebraic groups and induction / / David C. Vella |
| Autore | Vella David C. <1954-> |
| Pubbl/distr/stampa | Providence, Rhode Island : , : American Mathematical Society, , 1986 |
| Descrizione fisica | 1 online resource (129 p.) |
| Disciplina | 514/.23 |
| Collana | Memoirs of the American Mathematical Society |
| Soggetto topico |
Homology theory
Representations of groups Induction (Mathematics) |
| ISBN | 1-4704-0763-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | ""Table of Contents""; ""Abstract""; ""Acknowledgements""; ""Table of Notation""; ""Section 1. Introduction and Review of Induced Modules""; ""Section 2. Levi Decompositions""; ""Section 3. Irreducible Modules for Parabolic Subgroups""; ""Section 4. Induction and Parabolic Subgroups I""; ""Section 5. Induction and Parabolic Subgroups II""; ""Section 6. The Overlap Index of a Coupled Parabolic System""; ""Section 7. Induction from a Coupled Parabolic System H[sup(J)][sub(K)]""; ""Section 8. Applications to the Cohomology of Rank 2 Bundles on G/P""; ""References"" |
| Record Nr. | UNINA-9910817120103321 |
|
Vella David C. <1954->
|
||
| Providence, Rhode Island : , : American Mathematical Society, , 1986 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
