top

  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.

  Info

  • Utilizzare questo link per rimuovere la selezione effettuata.

Biblioteca

MARC Lista (tabellare)
A Variational Theory of Convolution-Type Functionals / Roberto Alicandro ... [et al.]
A Variational Theory of Convolution-Type Functionals / Roberto Alicandro ... [et al.]
Pubbl/distr/stampa Singapore, : Springer, 2023
Descrizione fisica viii, 116 p. : ill. ; 24 cm
Soggetto topico 49-XX - Calculus of variations and optimal control; optimization [MSC 2020]
49J45 - Methods involving semicontinuity and convergence; relaxation [MSC 2020]
Soggetto non controllato Compactness theorem
Convolution functionals
Gradient flows
Hierarchical structured deformations
Integral-representation theorem
Non-local energies
Peridynamics
Periodic homogenization
Point clouds
Stochastic homogenization
Upscaling and spatial localization of non-local energies
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNICAMPANIA-VAN00279137
Singapore, : Springer, 2023
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
Continuous Model Theory. (AM-58), Volume 58 / / Chen Chung Chang, H. Jerome Keisler
Continuous Model Theory. (AM-58), Volume 58 / / Chen Chung Chang, H. Jerome Keisler
Autore Chang Chen Chung
Pubbl/distr/stampa Princeton, NJ : , : Princeton University Press, , [2016]
Descrizione fisica 1 online resource (181 pages)
Disciplina 164
Collana Annals of Mathematics Studies
Soggetto topico Model theory
Soggetto non controllato Compact space
Compactness theorem
Continuous function
Logical connective
Model theory
Set function
Truth value
ISBN 1-4008-8205-2
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Frontmatter -- PREFACE -- TABLE OF CONTENTS -- CHAPTER I. TOPOLOGICAL PRELIMINARIES -- CHAPTER II. CONTINUOUS LOGICS -- CHAPTER III. MODEL-THEORETIC PRELIMINARIES -- CHAPTER IV. ELEMENTARILY EQUIVALENT MODELS -- CHAPTER V. ULTRAPRODUCTS OF MODELS AND APPLICATIONS -- CHAPTER VI. SPECIAL MODELS -- CHAPTER VII. CLASSES PRESERVED UNDER ALGEBRAIC RELATIONS -- HISTORICAL NOTES -- BIBLIOGRAPHY -- INDEX OF SYMBOLS -- INDEX OF DEFINITIONS -- INDEX OF EXERCISES -- Backmatter
Record Nr. UNINA-9910154748803321
Chang Chen Chung  
Princeton, NJ : , : Princeton University Press, , [2016]
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
First-Order Logic / Raymond M. Smullyan
First-Order Logic / Raymond M. Smullyan
Autore Smullyan, Raymond M.
Pubbl/distr/stampa Berlin, : Springer, 1968
Descrizione fisica xii, 160 p. : ill. ; 24 cm
Soggetto topico 03-XX - Mathematical logic and foundations [MSC 2020]
Soggetto non controllato Compactness theorem
Finite
Logic
Mathematica
Proofs
Theorem
Variables
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNICAMPANIA-VAN0254628
Smullyan, Raymond M.  
Berlin, : Springer, 1968
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
First-Order Logic / Raymond M. Smullyan
First-Order Logic / Raymond M. Smullyan
Autore Smullyan, Raymond M.
Pubbl/distr/stampa Berlin, : Springer, 1968
Descrizione fisica xii, 160 p. : ill. ; 24 cm
Soggetto topico 03-XX - Mathematical logic and foundations [MSC 2020]
Soggetto non controllato Compactness theorem
Finite
Logic
Mathematica
Proofs
Theorem
Variables
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNICAMPANIA-VAN00254628
Smullyan, Raymond M.  
Berlin, : Springer, 1968
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
Introduction to mathematical logic : set theory, computable functions, model theory / Jerome Malitz
Introduction to mathematical logic : set theory, computable functions, model theory / Jerome Malitz
Autore Malitz, Jerome
Edizione [Repr]
Pubbl/distr/stampa New York, : Springer, 1979 [stampa 1987]
Descrizione fisica XII, 198 p. ; 25 cm
Soggetto topico 03-XX - Mathematical logic and foundations [MSC 2020]
Soggetto non controllato Compactness theorem
Computability theory
Mathematical logic
Model theory
Proofs
Set Theory
ISBN 03-87903-46-1
978-03-87903-46-0
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNICAMPANIA-VAN0052412
Malitz, Jerome  
New York, : Springer, 1979 [stampa 1987]
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
Introduction to mathematical logic : set theory, computable functions, model theory / Jerome Malitz
Introduction to mathematical logic : set theory, computable functions, model theory / Jerome Malitz
Autore Malitz, Jerome
Pubbl/distr/stampa New York, : Springer, 1979
Descrizione fisica xii, 198 p. ; 25 cm
Soggetto topico 03-XX - Mathematical logic and foundations [MSC 2020]
03Exx - Set theory [MSC 2020]
03Cxx - Model theory [MSC 2020]
Soggetto non controllato Compactness theorem
Computability theory
Mathematical logic
Model theory
Proofs
Set Theory
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNICAMPANIA-VAN0268273
Malitz, Jerome  
New York, : Springer, 1979
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
Introduction to mathematical logic : set theory, computable functions, model theory / Jerome Malitz
Introduction to mathematical logic : set theory, computable functions, model theory / Jerome Malitz
Autore Malitz, Jerome
Edizione [Repr]
Pubbl/distr/stampa New York, : Springer, 1979 [stampa 1987]
Descrizione fisica XII, 198 p. ; 25 cm
Soggetto topico 03-XX - Mathematical logic and foundations [MSC 2020]
Soggetto non controllato Compactness theorem
Computability theory
Mathematical logic
Model theory
Proofs
Set Theory
ISBN 03-87903-46-1
978-03-87903-46-0
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNICAMPANIA-VAN00052412
Malitz, Jerome  
New York, : Springer, 1979 [stampa 1987]
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
Introduction to mathematical logic : set theory, computable functions, model theory / Jerome Malitz
Introduction to mathematical logic : set theory, computable functions, model theory / Jerome Malitz
Autore Malitz, Jerome
Pubbl/distr/stampa New York, : Springer, 1979
Descrizione fisica xii, 198 p. ; 25 cm
Soggetto topico 03-XX - Mathematical logic and foundations [MSC 2020]
03Cxx - Model theory [MSC 2020]
03Exx - Set theory [MSC 2020]
Soggetto non controllato Compactness theorem
Computability theory
Mathematical logic
Model theory
Proofs
Set Theory
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNICAMPANIA-VAN00268273
Malitz, Jerome  
New York, : Springer, 1979
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
Lectures on Fourier Integrals. (AM-42), Volume 42 / / Salomon Trust
Lectures on Fourier Integrals. (AM-42), Volume 42 / / Salomon Trust
Autore Trust Salomon
Pubbl/distr/stampa Princeton, NJ : , : Princeton University Press, , [2016]
Descrizione fisica 1 online resource (348 pages)
Disciplina 517.355
Altri autori (Persone) PollardHarry
TenenbaumMorris
Collana Annals of Mathematics Studies
Soggetto topico Fourier series
Integrals
Harmonic analysis
Soggetto non controllato Abscissa
Absolute value
Absolutely integrable function
Acta Mathematica
Addition
Additive function
Affine transformation
Almost periodic function
Analytic function
Antiderivative
Arbitrarily large
Arithmetic mean
Augustin-Louis Cauchy
Bernhard Riemann
Bessel function
Big O notation
Borel set
Boundary layer
Boundary value problem
Bounded function
Bounded variation
Calculation
Cauchy principal value
Characteristic function (probability theory)
Coefficient
Compact space
Compactness theorem
Complex number
Continuous function
Dense set
Derivative
Differentiable function
Dirichlet series
Distribution function
Division by zero
E. W. Hobson
Eigenfunction
Eigenvalues and eigenvectors
Empty set
Equation
Existential quantification
Exponential polynomial
Exterior (topology)
Fourier transform
Function (mathematics)
Functional equation
Gamma function
Generating function
Harmonic function
Initial point
Integer
Integral equation
Interval (mathematics)
Limit of a sequence
Line (geometry)
Linear combination
Linear differential equation
Mathematische Annalen
Mean value theorem
Monotonic function
Null set
Order of integration (calculus)
Order of integration
Order of magnitude
Parameter
Partial derivative
Partial fraction decomposition
Poisson formula
Poisson summation formula
Polar coordinate system
Polynomial
Power series
Principal part
Rapidity
Rational function
Rational number
Real variable
Remainder
Requirement
Set function
Sign (mathematics)
Smoothness
Special case
State function
Step function
Subsequence
Summation
Theorem
Total variation
Trigonometric integral
Uniform convergence
Uniqueness theorem
Variable (mathematics)
ISBN 1-4008-8199-4
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Frontmatter -- CONTENTS -- CHAPTER I. BASIC PROPERTIES OF TRIGONOMETRIC INTEGRALS -- CHAPTER II. REPRESENTATION - AND SUM FORMULAS -- CHAPTER III. THE FOURIER INTEGRAL THEOREM -- CHAPTER IV. STIELTJES INTEGRALS -- CHAPTER V. OPERATIONS WITH FUNCTIONS OF THE CLASS FO -- CHAPTER VI. GENERALIZED TRIGONOMETRIC INTEGRALS -- CHAPTER VII. ANALYTIC AND HARMONIC FUNCTIONS -- CHAPTER VIII. QUADRATIC INTEGRABILITV -- CHAPTER IX. FUNCTIONS OF SEVERAL VARIABLES -- APPENDIX -- REMARKS - QUOTATIONS -- MONOTONIC FUNCTIONS, STIELTJES INTEGRALS AND HARMONIC ANALYSIS -- SYMBOLS
Record Nr. UNINA-9910154749703321
Trust Salomon  
Princeton, NJ : , : Princeton University Press, , [2016]
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Logic and foundations of mathematics : selected contributed papers of the Tenth International Congress of Logic, Methodology, and Philosophy of Science, Florence, August 1995 / edited by Andrea Cantini, Ettore Casari, Pierluigi Minari
Logic and foundations of mathematics : selected contributed papers of the Tenth International Congress of Logic, Methodology, and Philosophy of Science, Florence, August 1995 / edited by Andrea Cantini, Ettore Casari, Pierluigi Minari
Autore International Congress of Logic, Methodology and Philosophy of Science
Pubbl/distr/stampa Dordrecht, : Kluwer Academic, 1999
Descrizione fisica VIII, 282 p. : ill. ; 25 cm
Soggetto topico 00A30 - Philosophy of mathematics [MSC 2020]
03-XX - Mathematical logic and foundations [MSC 2020]
Soggetto non controllato Compactness theorem
Logic
Modal Logic
Model theory
Philosophy of Science
Predicate logic
Proof Theory
Science
Set Theory
ISBN 07-923565-9-4
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNICAMPANIA-VAN00059387
International Congress of Logic, Methodology and Philosophy of Science  
Dordrecht, : Kluwer Academic, 1999
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui