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.
100+1 Problems in Advanced Calculus : A Creative Journey through the Fjords of Mathematical Analysis for Beginners / Paolo Toni, Pier Domenico Lamberti, Giacomo Drago
| 100+1 Problems in Advanced Calculus : A Creative Journey through the Fjords of Mathematical Analysis for Beginners / Paolo Toni, Pier Domenico Lamberti, Giacomo Drago |
| Autore | Toni, Paolo |
| Pubbl/distr/stampa | Cham, : Springer, 2022 |
| Descrizione fisica | xvii, 220 p. : ill. ; 24 cm |
| Altri autori (Persone) |
Drago, Giacomo
Lamberti, Pier Domenico |
| Soggetto non controllato |
Calculus
Continuity Differentiability Differential calculus Differentiation Inequalities Integrability Integrals Limits Mathematical analysis Point-set topology Real functions Riemann integrals graphs of functions |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN0276767 |
Toni, Paolo
|
||
| Cham, : Springer, 2022 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
1: Logic, Sets and Numbers / R. E. Edwards
| 1: Logic, Sets and Numbers / R. E. Edwards |
| Autore | Edwards, Robert E. |
| Pubbl/distr/stampa | New York, : Springer-Verlag, 1979 |
| Descrizione fisica | xxxiv, 935 p. : ill. ; 24 cm |
| Soggetto topico |
03-XX - Mathematical logic and foundations [MSC 2020]
06-XX - Order, lattices, ordered algebraic structures [MSC 2020] 00A05 - Mathematics in general [MSC 2020] 08-XX - General algebraic systems [MSC 2020] |
| Soggetto non controllato |
Differential calculus
Differential equations Equations Finite Integral calculus Mathematics Proofs Variables |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN0268249 |
|
Edwards, Robert E.
|
||
| New York, : Springer-Verlag, 1979 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
2: A Critical Approach to Elementary Analysis / R. E. Edwards
| 2: A Critical Approach to Elementary Analysis / R. E. Edwards |
| Autore | Edwards, Robert E. |
| Pubbl/distr/stampa | New York, : Springer-Verlag, 1980 |
| Descrizione fisica | xlviii, 606 p. : ill. ; 24 cm |
| Soggetto topico |
26-XX - Real functions [MSC 2020]
30-XX - Functions of a complex variable [MSC 2020] 00-XX - General and overarching topics; collections [MSC 2020] |
| Soggetto non controllato |
Calculus
Comparison test Derivatives Differential calculus Differential equations Extrema Integral calculus Intermediate value theorem Limit of a function Logarithms Mean value theorem Ratio test Root test exponential functions |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN0268308 |
|
Edwards, Robert E.
|
||
| New York, : Springer-Verlag, 1980 | ||
| 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. |
| 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 | ||
| ||
A Formal Background to Mathematics / R. E. Edwards
| A Formal Background to Mathematics / R. E. Edwards |
| Autore | Edwards, Robert E. |
| Pubbl/distr/stampa | New York, : Springer-Verlag |
| Descrizione fisica | volumi : ill. ; 24 cm |
| Soggetto non controllato |
Differential calculus
Differential equations Equations Finite Integral calculus Mathematics Proofs Variables |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN0268250 |
|
Edwards, Robert E.
|
||
| New York, : Springer-Verlag | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Advanced calculus : a differential forms approach / Harold M. Edwards
| Advanced calculus : a differential forms approach / Harold M. Edwards |
| Autore | Edwards, Harold M. |
| Edizione | [Reprint of 1994 ed] |
| Pubbl/distr/stampa | New York [etc.], : Birkhäuser ; Springer, 2014 |
| Descrizione fisica | XIX, 508 p. : ill. ; 24 cm |
| Soggetto topico |
46-XX - Functional analysis [MSC 2020]
26-XX - Real functions [MSC 2020] 40-XX - Sequences, series, summability [MSC 2020] |
| Soggetto non controllato |
Differential calculus
Integrals Lagrange multipliers Linear algebra Stokes’ theorem Vector Analysis |
| ISBN | 978-08-17-68411-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN0102511 |
|
Edwards, Harold M.
|
||
| New York [etc.], : Birkhäuser ; Springer, 2014 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Analysis : from concepts to applications / Jean-Paul Penot
| Analysis : from concepts to applications / Jean-Paul Penot |
| Autore | Penot, Jean-Paul |
| Pubbl/distr/stampa | [Cham], : Springer, 2016 |
| Descrizione fisica | XIII, 669 p. : ill. ; 24 cm |
| Soggetto topico |
03-XX - Mathematical logic and foundations [MSC 2020]
49-XX - Calculus of variations and optimal control; optimization [MSC 2020] 47-XX - Operator theory [MSC 2020] 46-XX - Functional analysis [MSC 2020] 26-XX - Real functions [MSC 2020] 54-XX - General topology [MSC 2020] 40-XX - Sequences, series, summability [MSC 2020] 34-XX - Ordinary differential equations [MSC 2020] 28Axx - Classical measure theory [MSC 2020] 35Axx - General topics in partial differential equations [MSC 2020] 90-XX - Operations research, mathematical programming [MSC 2020] 06Axx - Ordered sets [MSC 2020] |
| Soggetto non controllato |
Convex analysis
Differential calculus Evolution problems Functional Analysis Integration Partial differential equations |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN0114413 |
|
Penot, Jean-Paul
|
||
| [Cham], : Springer, 2016 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Basic real analysis / Houshang H. Sohrab
| Basic real analysis / Houshang H. Sohrab |
| Autore | Sohrab, Houshang H. |
| Edizione | [2. ed] |
| Pubbl/distr/stampa | New York, : Birkhäuser, : Springer, 2014 |
| Descrizione fisica | XI, 683 p. ; 24 cm |
| Soggetto topico |
46-XX - Functional analysis [MSC 2020]
26-XX - Real functions [MSC 2020] 28-XX - Measure and integration [MSC 2020] 26Axx - Functions of one variable [MSC 2020] 60-XX - Probability theory and stochastic processes [MSC 2020] 54-XX - General topology [MSC 2020] 40-XX - Sequences, series, summability [MSC 2020] |
| Soggetto non controllato |
Banach and Hilbert Spaces
Differential calculus Fourier series Lebesgue Integral Lebesgue measure Measure and Probability Metric spaces Monotone Functions Normed and Function Spaces Riemann Integral Set Theory |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN0103019 |
|
Sohrab, Houshang H.
|
||
| New York, : Birkhäuser, : Springer, 2014 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
The Calculi of Lambda Conversion. (AM-6), Volume 6 / / Alonzo Church
| The Calculi of Lambda Conversion. (AM-6), Volume 6 / / Alonzo Church |
| Autore | Church Alonzo |
| Pubbl/distr/stampa | Princeton, NJ : , : Princeton University Press, , [2016] |
| Descrizione fisica | 1 online resource (89 pages) |
| Disciplina | 517.5 |
| Collana | Annals of Mathematics Studies |
| Soggetto topico |
Logic, Symbolic and mathematical
Recursive functions |
| Soggetto non controllato |
2H
A-normal form Addition Alphabetical order Ambiguity Argument of a function Axiom Bibliography Big O notation Calculation Characteristic function (probability theory) Combination Complex number Computability Computation Consistency Corollary Definition Denotation Determination Differential calculus Enumeration Equation Exc Existential quantification Exponentiation Finitary Finite set Formal system Frege (programming language) Function (mathematics) Gödel numbering Identity function In the process of Integer Iteration Limit (mathematics) Logic Logical conjunction Logical disjunction Mathematical induction Mathematical logic Mathematics Metamathematics Natural number Negation Notation Null set Number theory Ordinal number Pairing Paul Bernays Primitive recursive function Principia Mathematica Propositional function Quantifier (logic) Real number Recursion (computer science) Recursion Reduction of order Requirement Resultant Rule of inference Scientific notation Sequence Set theory Special case Successor function Theorem Theory Transfinite number Transfinite Truth value Uncertainty Universal quantification Upper and lower bounds Variable (mathematics) Well-formed formula Without loss of generality |
| ISBN | 1-4008-8193-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Frontmatter -- CONTENTS -- Chapter I. INTRODUCTORY -- Chapter II. LAMBDA-CONVERSION -- Chapter III. LAMBDA-DEFINABILITY -- Chapter IV. COMBINATIONS, GÖDEL NUMBERS -- Chapter V. THE CALCULI OF λ-K-CONVERSION AND λ-δ- CONVERSION -- INDEX OP THE PRINCIPAL FORMULAS INTRODUCED BY DEFINITION -- BIBLIOGRAPHY -- CORRECTION AND ADDITIONS |
| Record Nr. | UNINA-9910154753003321 |
|
Church Alonzo
|
||
| Princeton, NJ : , : Princeton University Press, , [2016] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
