Saltar al contenido principal
Elsevier

Libros en Matemáticas

  • Studies in Logic and the Foundations of Mathematics

    • 1 Edición
    • Volumen 42
    • Lev D. Beklemishev
    • Inglés

  • Proof Theory

    • 1 Edición
    • Volumen 81
    • Lev D. Beklemishev
    • Inglés

  • The Theory of Semisets

    • 1 Edición
    • Volumen 70
    • Lev D. Beklemishev
    • Inglés

  • SET THEORY

    • 1 Edición
    • Volumen 86
    • Lev D. Beklemishev
    • Inglés

  • Constructive Order Types

    • 1 Edición
    • Volumen 56
    • Lev D. Beklemishev
    • Inglés

  • Computer Programming and Formal Systems

    • 1 Edición
    • Volumen 26
    • Lev D. Beklemishev
    • Inglés

  • WORD PROBLEMS II

    • 1 Edición
    • Volumen 95
    • Lev D. Beklemishev
    • Inglés

  • Provability, Computability and Reflection

    • 1 Edición
    • Volumen 18
    • Lev D. Beklemishev
    • Inglés

  • Mathematical Logic in Latin America, Proceedings of the IV Latin American Symposium on Mathematical Logic

    • 1 Edición
    • Volumen 99
    • Lev D. Beklemishev
    • Inglés

  • Intuitionistic Logic Model Theory and Forcing

    • 1 Edición
    • Volumen 54
    • Lev D. Beklemishev
    • Inglés

  • Nonlinear Partial Differential Equations in Applied Science

    • 1 Edición
    • Volumen 81
    • H. Fujita + 2 más
    • Inglés

  • Sets, Models and Recursion Theory

    • 1 Edición
    • Volumen 46
    • Lev D. Beklemishev
    • Inglés

  • Provability, Computability and Reflection

    • 1 Edición
    • Volumen 17
    • Lev D. Beklemishev
    • Inglés

  • Non-Linear Wave Propagation With Applications to Physics and Magnetohydrodynamics by A Jeffrey and T Taniuti

    • 1 Edición
    • Volumen 9
    • Inglés
    In this book, we study theoretical and practical aspects of computing methods for mathematical modelling of nonlinear systems. A number of computing techniques are considered, such as methods of operator approximation with any given accuracy; operator interpolation techniques including a non-Lagrange interpolation; methods of system representation subject to constraints associated with concepts of causality, memory and stationarity; methods of system representation with an accuracy that is the best within a given class of models; methods of covariance matrix estimation;methods for low-rank matrix approximations; hybrid methods based on a combination of iterative procedures and best operator approximation; andmethods for information compression and filtering under condition that a filter model should satisfy restrictions associated with causality and different types of memory.As a result, the book represents a blend of new methods in general computational analysis,and specific, but also generic, techniques for study of systems theory ant its particularbranches, such as optimal filtering and information compression.

  • Provability, Computability and Reflection

    • 1 Edición
    • Volumen 20
    • Lev D. Beklemishev
    • Inglés
    Studies in Logic publishes monographs and occasionally edited volumes in the area of mathematical logic and its applications.

  • Analytic Sets in Locally Convex Spaces

    • 1 Edición
    • Volumen 89
    • P. Mazet
    • Inglés

  • Provability, Computability and Reflection

    • 1 Edición
    • Volumen 29
    • Lev D. Beklemishev
    • Inglés

  • Adaptive Processes in Economic Systems by Roy E Murphy

    • 1 Edición
    • Volumen 20
    • Roy E. Murphy
    • Inglés
    In this book, we study theoretical and practical aspects of computing methods for mathematical modelling of nonlinear systems. A number of computing techniques are considered, such as methods of operator approximation with any given accuracy; operator interpolation techniques including a non-Lagrange interpolation; methods of system representation subject to constraints associated with concepts of causality, memory and stationarity; methods of system representation with an accuracy that is the best within a given class of models; methods of covariance matrix estimation;methods for low-rank matrix approximations; hybrid methods based on a combination of iterative procedures and best operator approximation; andmethods for information compression and filtering under condition that a filter model should satisfy restrictions associated with causality and different types of memory.As a result, the book represents a blend of new methods in general computational analysis,and specific, but also generic, techniques for study of systems theory ant its particularbranches, such as optimal filtering and information compression.

  • Intuitionism An Introduction

    • 1 Edición
    • Volumen 41
    • Lev D. Beklemishev
    • Inglés

  • Elements of Mathematical Logic

    • 1 Edición
    • Volumen 48
    • Lev D. Beklemishev
    • Inglés

  • Contributions to Non-Standard Analysis

    • 1 Edición
    • Volumen 69
    • Lev D. Beklemishev
    • Inglés

  • Comparison and Oscillation Theory of Linear Differential Equations by C A Swanson

    • 1 Edición
    • Volumen 48
    • Inglés
    In this book, we study theoretical and practical aspects of computing methods for mathematical modelling of nonlinear systems. A number of computing techniques are considered, such as methods of operator approximation with any given accuracy; operator interpolation techniques including a non-Lagrange interpolation; methods of system representation subject to constraints associated with concepts of causality, memory and stationarity; methods of system representation with an accuracy that is the best within a given class of models; methods of covariance matrix estimation;methods for low-rank matrix approximations; hybrid methods based on a combination of iterative procedures and best operator approximation; andmethods for information compression and filtering under condition that a filter model should satisfy restrictions associated with causality and different types of memory.As a result, the book represents a blend of new methods in general computational analysis,and specific, but also generic, techniques for study of systems theory ant its particularbranches, such as optimal filtering and information compression.

  • Systems and Simulation by Dimitris N Chorafas

    • 1 Edición
    • Volumen 14
    • Inglés
    In this book, we study theoretical and practical aspects of computing methods for mathematical modelling of nonlinear systems. A number of computing techniques are considered, such as methods of operator approximation with any given accuracy; operator interpolation techniques including a non-Lagrange interpolation; methods of system representation subject to constraints associated with concepts of causality, memory and stationarity; methods of system representation with an accuracy that is the best within a given class of models; methods of covariance matrix estimation;methods for low-rank matrix approximations; hybrid methods based on a combination of iterative procedures and best operator approximation; andmethods for information compression and filtering under condition that a filter model should satisfy restrictions associated with causality and different types of memory.As a result, the book represents a blend of new methods in general computational analysis,and specific, but also generic, techniques for study of systems theory ant its particularbranches, such as optimal filtering and information compression.

  • Provability, Computability and Reflection

    • 1 Edición
    • Volumen 13
    • Lev D. Beklemishev
    • Inglés

  • Introduction to Global Variational Geometry

    • 1 Edición
    • Volumen 8
    • Demeter Krupka
    • Inglés
    This book provides a comprehensive introduction to modern global variational theory on fibred spaces. It is based on differentiation and integration theory of differential forms on smooth manifolds, and on the concepts of global analysis and geometry such as jet prolongations of manifolds, mappings, and Lie groups. The book will be invaluable for researchers and PhD students in differential geometry, global analysis, differential equations on manifolds, and mathematical physics, and for the readers who wish to undertake further rigorous study in this broad interdisciplinary field. Featured topics- Analysis on manifolds- Differential forms on jet spaces - Global variational functionals- Euler-Lagrange mapping - Helmholtz form and the inverse problem- Symmetries and the Noether’s theory of conservation laws- Regularity and the Hamilton theory- Variational sequences - Differential invariants and natural variational principles

  • Logic Colloquium '78, Proceedings of the colloquium held in Mons

    • 1 Edición
    • Volumen 97
    • Lev D. Beklemishev
    • Inglés

  • Provability, Computability and Reflection

    • 1 Edición
    • Volumen 27
    • Lev D. Beklemishev
    • Inglés

  • Provability, Computability and Reflection

    • 1 Edición
    • Volumen 31
    • Lev D. Beklemishev
    • Inglés

  • Provability, Computability and Reflection

    • 1 Edición
    • Volumen 33
    • Lev D. Beklemishev
    • Inglés

  • The Collected Papers of Gerhard Gentzen

    • 1 Edición
    • Volumen 55
    • Lev D. Beklemishev
    • Inglés

  • Provability, Computability and Reflection

    • 1 Edición
    • Volumen 32
    • Lev D. Beklemishev
    • Inglés

  • Extensions of Linear-Quadratic Control, Optimization and Matrix Theory

    • 1 Edición
    • Volumen 133
    • Inglés
    In this book, we study theoretical and practical aspects of computing methods for mathematical modelling of nonlinear systems. A number of computing techniques are considered, such as methods of operator approximation with any given accuracy; operator interpolation techniques including a non-Lagrange interpolation; methods of system representation subject to constraints associated with concepts of causality, memory and stationarity; methods of system representation with an accuracy that is the best within a given class of models; methods of covariance matrix estimation;methods for low-rank matrix approximations; hybrid methods based on a combination of iterative procedures and best operator approximation; andmethods for information compression and filtering under condition that a filter model should satisfy restrictions associated with causality and different types of memory.As a result, the book represents a blend of new methods in general computational analysis,and specific, but also generic, techniques for study of systems theory ant its particularbranches, such as optimal filtering and information compression.

  • Axiomatic Set Theory

    • 1 Edición
    • Volumen 21
    • Lev D. Beklemishev
    • Inglés

  • Provability, Computability and Reflection

    • 1 Edición
    • Volumen 5
    • Lev D. Beklemishev
    • Inglés

  • LOGIC COLLOQUIUM '69

    • 1 Edición
    • Volumen 61
    • Lev D. Beklemishev
    • Inglés

  • Contributions to Mathematical Logic

    • 1 Edición
    • Volumen 50
    • Lev D. Beklemishev
    • Inglés

  • Generalized Recursion Theory II

    • 1 Edición
    • Volumen 94
    • Lev D. Beklemishev
    • Inglés

  • The Problem of Inductive Logic

    • 1 Edición
    • Volumen 51
    • Lev D. Beklemishev
    • Inglés

  • Provability, Computability and Reflection

    • 1 Edición
    • Volumen 11
    • Lev D. Beklemishev
    • Inglés

  • Mathematical Logic and Foundations of Set Theory, Proceedings of an International Colloquium Held Under the Auspices of The Israel Academy of Sciences and Humanities

    • 1 Edición
    • Volumen 59
    • Lev D. Beklemishev
    • Inglés

  • Proceedings of the Fourth International Congress for Logic, Methodology and Philosophy of Science, Bucharest, 1971

    • 1 Edición
    • Volumen 74
    • Lev D. Beklemishev
    • Inglés

  • Logic, Methodology and Philosophy of Science III

    • 1 Edición
    • Volumen 52
    • Lev D. Beklemishev
    • Inglés

  • Combinatorial Set Theory

    • 1 Edición
    • Volumen 91
    • Lev D. Beklemishev
    • Inglés

  • Introduction to Global Variational Geometry

    • 1 Edición
    • Volumen 18
    • Demeter Krupka
    • Inglés
    This book provides a comprehensive introduction to modern global variational theory on fibred spaces. It is based on differentiation and integration theory of differential forms on smooth manifolds, and on the concepts of global analysis and geometry such as jet prolongations of manifolds, mappings, and Lie groups. The book will be invaluable for researchers and PhD students in differential geometry, global analysis, differential equations on manifolds, and mathematical physics, and for the readers who wish to undertake further rigorous study in this broad interdisciplinary field. Featured topics- Analysis on manifolds- Differential forms on jet spaces - Global variational functionals- Euler-Lagrange mapping - Helmholtz form and the inverse problem- Symmetries and the Noether’s theory of conservation laws- Regularity and the Hamilton theory- Variational sequences - Differential invariants and natural variational principles

  • Provability, Computability and Reflection

    • 1 Edición
    • Volumen 14
    • Lev D. Beklemishev
    • Inglés

  • Mathematical and Conceptual Foundations of 20th-Century Physics

    • 1 Edición
    • Volumen 100
    • G.G. Emch
    • Inglés
    This book is primarily intended for Mathematicians, but students in the physical sciences will find here information not usually available in physics texts.The main aim of this book is to provide a unified mathematical account of the conceptual foundations of 20th-Century Physics, in a form suitable for a one-year survey course in Mathematics or Mathematical Physics. Emphasis is laid on the interlocked historical development of mathematical and physical ideas.

  • Foundational Studies

    • 1 Edición
    • Volumen 93B
    • Lev D. Beklemishev
    • Inglés

  • Formal Systems and Recursive Functions

    • 1 Edición
    • Volumen 40
    • Lev D. Beklemishev
    • Inglés

  • Large Infinitary Languages

    • 1 Edición
    • Volumen 83
    • Lev D. Beklemishev
    • Inglés

  • Non-Classical Logics, Model Theory, And Computability

    • 1 Edición
    • Volumen 89
    • Lev D. Beklemishev
    • Inglés

Temas relacionados