Account
Orders
Advanced search
Provability, Computability and Reflection
The Collected Papers of Gerhard Gentzen
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...
Foundational Studies
Introduction to the Theory of Finite Automata
Logic Colloquium '78, Proceedings of the colloquium held in Mons
Large Infinitary Languages
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...
The book presents multivariate statistical methods useful in geological analysis.The essential distinction between multivariate analysis as applied to full-space data (measurements on lengths, heights, breadths etc.) and compositional data is emphasized with particular...
This book presents new mathematics for the description of structure and dynamics in molecular and cellular biology. On an exponential scale it is possible to combine functions describing inner organisation, including finite periodicity, with functions for outside...
Inverse problems can be found in many topics of engineering mechanics. There are many successful applications in the fields of inverse problems (non-destructive testing and characterization of material properties by ultrasonic or X-ray techniques, thermography, etc.)....
Chemistry, physics and biology are by their nature genuinely difficult. Mathematics, however, is man-made, and therefore not as complicated. Two ideas form the basis for this book: 1) to use ordinary mathematics to describe the simplicity in the structure of mathematics...
This book develops the thesis that structure and function in a variety of condensed systems - from the atomic assemblies in inorganic frameworks and organic molecules, through molecular self-assemblies to proteins - can be unified when curvature and surface geometry are...
One of the major goals of geophysical inversion is to find earth models that explain the geophysical observations. Thus the branch of mathematics known as optimization has found significant use in many geophysical applications.Both local and global optimization methods...
These two volumes cover the principal approaches to constructivism in mathematics. They present a thorough, up-to-date introduction to the metamathematics of constructive mathematics, paying special attention to Intuitionism, Markov's constructivism and Martin-Lof's...
Les livres numériques peuvent être téléchargés depuis l'ebookstore Numilog ou directement depuis une tablette ou smartphone.
PDF : format reprenant la maquette originale du livre ; lecture recommandée sur ordinateur et tablette EPUB : format de texte repositionnable ; lecture sur tous supports (ordinateur, tablette, smartphone, liseuse)
DRM Adobe LCP
LCP DRM Adobe
Sign up to get our latest ebook recommendations and special offers