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.
A. P. Morse's set theory and analysis / / Robert A. Alps, editor
| A. P. Morse's set theory and analysis / / Robert A. Alps, editor |
| Pubbl/distr/stampa | Cham, Switzerland : , : Birkhäuser, , [2022] |
| Descrizione fisica | 1 online resource (523 pages) |
| Disciplina | 511.322 |
| Soggetto topico |
Set theory
Logic, Symbolic and mathematical Measure theory Anàlisi matemàtica Teoria de conjunts |
| Soggetto genere / forma | Llibres electrònics |
| ISBN |
9783031053559
9783031053542 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996485659203316 |
| Cham, Switzerland : , : Birkhäuser, , [2022] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
A. P. Morse's set theory and analysis / / Robert A. Alps, editor
| A. P. Morse's set theory and analysis / / Robert A. Alps, editor |
| Pubbl/distr/stampa | Cham, Switzerland : , : Birkhäuser, , [2022] |
| Descrizione fisica | 1 online resource (523 pages) |
| Disciplina | 511.322 |
| Soggetto topico |
Set theory
Logic, Symbolic and mathematical Measure theory Anàlisi matemàtica Teoria de conjunts |
| Soggetto genere / forma | Llibres electrònics |
| ISBN |
9783031053559
9783031053542 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910590076403321 |
| Cham, Switzerland : , : Birkhäuser, , [2022] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Algorithms for Constructing Computably Enumerable Sets / / by Kenneth J. Supowit
| Algorithms for Constructing Computably Enumerable Sets / / by Kenneth J. Supowit |
| Autore | Supowit Kenneth J. |
| Edizione | [1st ed. 2023.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Birkhäuser, , 2023 |
| Descrizione fisica | 1 online resource (191 pages) |
| Disciplina | 004.0151 |
| Collana | Computer Science Foundations and Applied Logic |
| Soggetto topico |
Computer science
Computable functions Recursion theory Set theory Computer science—Mathematics Theory of Computation Computability and Recursion Theory Set Theory Theory and Algorithms for Application Domains Mathematics of Computing Matemàtica discreta Teoria de conjunts Algorismes |
| Soggetto genere / forma | Llibres electrònics |
| ISBN |
9783031269042
9783031269035 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | 1 Index of notation and terms -- 2 Set theory, requirements, witnesses -- 3 What’s new in this chapter? -- 4 Priorities (a splitting theorem) -- 5 Reductions, comparability (Kleene-Post Theorem) -- 6 Finite injury (Friedberg-Muchnik Theorem) -- 7 The Permanence Lemma -- 8 Permitting (Friedberg-Muchnik below C Theorem) -- 9 Length of agreement (Sacks Splitting Theorem) -- 10 Introduction to infinite injury -- 11 A tree of guesses (Weak Thickness Lemma) -- 12 An infinitely branching tree (Thickness Lemma) -- 13 True stages (another proof of the Thickness Lemma) -- 14 Joint custody (Minimal Pair Theorem) -- 15 Witness lists (Density Theorem) -- 16 The theme of this book: delaying tactics -- Appendix A: a pairing function -- Bibliograph -- Solutions to selected exercises. |
| Record Nr. | UNINA-9910726280003321 |
Supowit Kenneth J.
|
||
| Cham : , : Springer International Publishing : , : Imprint : Birkhäuser, , 2023 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
A Circle-Line Study of Mathematical Analysis [[electronic resource] /] / by Simone Secchi
| A Circle-Line Study of Mathematical Analysis [[electronic resource] /] / by Simone Secchi |
| Autore | Secchi Simone |
| Edizione | [1st ed. 2022.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2022 |
| Descrizione fisica | 1 online resource (XIX, 469 p. 1 illus.) |
| Disciplina | 515 |
| Collana | La Matematica per il 3+2 |
| Soggetto topico |
Mathematical analysis
Analysis Anàlisi matemàtica Teoria de conjunts |
| Soggetto genere / forma | Llibres electrònics |
| ISBN | 3-031-19738-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Part I First half of the journey -- 1 An appetizer of propositional logic -- 2 Sets, relations, functions in a naïve way -- 3 Numbers -- 4 Elementary cardinality -- 5 Distance, topology and sequences on the set of real numbers -- 6 Series -- 7 Limits: from sequences to functions of a real variable -- 8 Continuous functions of a real variable -- 9 Derivatives and differentiability- 10 Riemann’s integral -- 11 Elementary functions -- Part II Second half of the journey -- 12 Return to Set Theory -- 13 Neighbors again: topological spaces -- 14 Differentiating again: linearization in normed spaces -- 15 A functional approach to Lebesgue integration theory -- 16 Measures before integrals. |
| Record Nr. | UNISA-996518463203316 |
|
Secchi Simone
|
||
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2022 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
A Circle-Line Study of Mathematical Analysis / / by Simone Secchi
| A Circle-Line Study of Mathematical Analysis / / by Simone Secchi |
| Autore | Secchi Simone |
| Edizione | [1st ed. 2022.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2022 |
| Descrizione fisica | 1 online resource (XIX, 469 p. 1 illus.) |
| Disciplina | 515 |
| Collana | La Matematica per il 3+2 |
| Soggetto topico |
Mathematical analysis
Analysis Anàlisi matemàtica Teoria de conjunts |
| Soggetto genere / forma | Llibres electrònics |
| ISBN | 3-031-19738-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Part I First half of the journey -- 1 An appetizer of propositional logic -- 2 Sets, relations, functions in a naïve way -- 3 Numbers -- 4 Elementary cardinality -- 5 Distance, topology and sequences on the set of real numbers -- 6 Series -- 7 Limits: from sequences to functions of a real variable -- 8 Continuous functions of a real variable -- 9 Derivatives and differentiability- 10 Riemann’s integral -- 11 Elementary functions -- Part II Second half of the journey -- 12 Return to Set Theory -- 13 Neighbors again: topological spaces -- 14 Differentiating again: linearization in normed spaces -- 15 A functional approach to Lebesgue integration theory -- 16 Measures before integrals. |
| Record Nr. | UNINA-9910682550003321 |
|
Secchi Simone
|
||
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2022 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
