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 first course in real analysis / Murray H. Protter, Charles B. Morrey, Jr
| A first course in real analysis / Murray H. Protter, Charles B. Morrey, Jr |
| Autore | Protter, Murray H. |
| Edizione | [2. ed] |
| Pubbl/distr/stampa | New York, : Springer, 1991 |
| Descrizione fisica | XVIII, 534 p. : ill. ; 25 cm |
| Altri autori (Persone) | Morrey, Charles B. |
| Soggetto topico |
26-XX - Real functions [MSC 2020]
26A03 - Foundations: limits and generalizations, elementary topology of the line [MSC 2020] 26B12 - Calculus of vector functions [MSC 2020] 26A15 - Continuity and related questions (modulus of continuity, semicontinuity, discontinuities, etc.) for real functions in one variable [MSC 2020] 26A24 - Differentiation (real functions of one variable): general theory, generalized derivatives, mean-value theorems [MSC 2020] 26A42 - Integrals of Riemann, Stieltjes and Lebesgue type [MSC 2020] |
| Soggetto non controllato |
Analysis
Boundary Element Methods Calculus Differential calculus Imprint Integral calculus Mathematics Problem Solving Proving Real analysis Real numbers Systems Theorem proving |
| ISBN | 978-03-87974-37-8 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN0023437 |
Protter, Murray H.
|
||
| New York, : Springer, 1991 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
A first course in real analysis / Murray H. Protter, Charles B. Morrey, Jr
| A first course in real analysis / Murray H. Protter, Charles B. Morrey, Jr |
| Autore | Protter, Murray H. |
| Pubbl/distr/stampa | New York, : Springer, 1977 |
| Descrizione fisica | xii, 507 p. : ill. ; 25 cm |
| Altri autori (Persone) | Morrey, Charles B. |
| Soggetto topico |
26-XX - Real functions [MSC 2020]
26A45 - Functions of bounded variation, generalizations [MSC 2020] 26B12 - Calculus of vector functions [MSC 2020] 26A15 - Continuity and related questions (modulus of continuity, semicontinuity, discontinuities, etc.) for real functions in one variable [MSC 2020] 26B05 - Continuity and differentiation questions [MSC 2020] |
| Soggetto non controllato |
Analysis
Boundary Element Methods Calculus Differential calculus Imprint Integral calculus Mathematics Problem Solving Proving Real analysis Real numbers Systems Theorem proving |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN0268048 |
|
Protter, Murray H.
|
||
| New York, : Springer, 1977 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Logical Foundations of Computer Science : International Symposium, LFCS 2020, Deerfield Beach, FL, USA, January 4–7, 2020, Proceedings / Sergei Artemov, Anil Nerode editors
| Logical Foundations of Computer Science : International Symposium, LFCS 2020, Deerfield Beach, FL, USA, January 4–7, 2020, Proceedings / Sergei Artemov, Anil Nerode editors |
| Pubbl/distr/stampa | Cham, : Springer, 2020 |
| Descrizione fisica | x, 287 p. : ill. ; 24 cm |
| Soggetto topico |
03-XX - Mathematical logic and foundations [MSC 2020]
00B25 - Proceedings of conferences of miscellaneous specific interest [MSC 2020] 03B70 - Logic in computer science [MSC 2020] |
| Soggetto non controllato |
Artificial Intelligence
Complexity Computability Computer Science Constructive type theory First-order logic Formal logic GPAC-generable functions Higher-order arithmetics Knowledge of uncertain worlds Modal Logic Non-normal modal logics Observable models Primitive recursion Problem Solving Semanitic systems Theorem proving |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN0249404 |
| Cham, : Springer, 2020 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||