Filter by
Towards an Arithmetical Logic
This book offers an original contribution to the foundations of logic and mathematics and focuses on the internal logic of mathematical theories, from arithmetic or number theory to algebraic geometry. Arithmetical logic is the term used to refer to the internal logic of classical arithmetic, here called Fermat-Kronecker arithmetic and combines Fermat’s method of infinite descent with Kroneck…
- Edition
- 1
- ISBN/ISSN
- 978-3-319-22087-1
- Collation
- XI, 184
- Series Title
- Studies in Universal Logic
- Call Number
- -
Time Predictions : Understanding and Avoiding Unrealism in Project Planning a…
Predicting the time needed to complete a project, task or daily activity can be difficult and people frequently underestimate how long an activity will take. This book sheds light on why and when this happens, what we should do to avoid it and how to give more realistic time predictions. It describes methods for predicting time usage in situations with high uncertainty, explains why two plus tw…
- Edition
- -
- ISBN/ISSN
- 9783319160054
- Collation
- -
- Series Title
- Simula Springer Briefs on Computing
- Call Number
- 510 HAL t
Recent Advances in Celestial and Space Mechanics
This book presents recent advances in space and celestial mechanics, with a focus on the N-body problem and astrodynamics, and explores the development and application of computational techniques in both areas. It highlights the design of space transfers with various modes of propulsion, like solar sailing and low-thrust transfers between libration point orbits, as well as a broad range of targ…
- Edition
- -
- ISBN/ISSN
- 978-3-319-27464-5
- Collation
- -
- Series Title
- -
- Call Number
- 530.15
Geometric Optics
This text, now in its second edition, presents the mathematical background needed to design many optical combinations that are used in astronomical telescopes and cameras. It uses a novel approach to third-order aberration theory based on Fermat’s principle and the use of particular optical paths (called stigmatic paths) instead of rays, allowing for easier derivation of third-order formulae…
- Edition
- -
- ISBN/ISSN
- 978-3-319-43731-6
- Collation
- -
- Series Title
- -
- Call Number
- 510 ROM g
Essays on Gödel’s Reception of Leibniz, Husserl, and Brouwer
This volume tackles Gödel's two-stage project of first using Husserl's transcendental phenomenology to reconstruct and develop Leibniz' monadology, and then founding classical mathematics on the metaphysics thus obtained. The author analyses the historical and systematic aspects of that project, and then evaluates it, with an emphasis on the second stage. The book is organised around Gödel…
- Edition
- -
- ISBN/ISSN
- 978-3-319-10031-9
- Collation
- XIV, 328
- Series Title
- -
- Call Number
- -
Error Estimates for Well-Balanced Schemes on Simple Balance Laws One-Dimensi…
This monograph presents, in an attractive and self-contained form, techniques based on the L1 stability theory derived at the end of the 1990s by A. Bressan, T.-P. Liu and T. Yang that yield original error estimates for so-called well-balanced numerical schemes solving 1D hyperbolic systems of balance laws. Rigorous error estimates are presented for both scalar balance laws and a position-depen…
- Edition
- -
- ISBN/ISSN
- 978-3-319-24785-4
- Collation
- 9 b/w illustrations, 15 illustrations in colour
- Series Title
- -
- Call Number
- -
Ernst Zermelo An Approach to His Life and Work
This biography sheds light on all facets of the life and the achievements of Ernst Zermelo (1871-1953). Zermelo is best-known for the statement of the axiom of choice and his axiomatization of set theory. However, he also worked in applied mathematics and mathematical physics. His dissertation, for example, promoted the calculus of variations, and he created the pivotal method in the theory of …
- Edition
- -
- ISBN/ISSN
- 978-3-662-47997-1
- Collation
- 43 b/w illustrations
- Series Title
- -
- Call Number
- -
Introduction to Uncertainty Quantification
This text provides a framework in which the main objectives of the field of uncertainty quantification (UQ) are defined and an overview of the range of mathematical methods by which they can be achieved. Complete with exercises throughout, the book will equip readers with both theoretical understanding and practical experience of the key mathematical and algorithmic tools underlying the treatme…
- Edition
- -
- ISBN/ISSN
- 978-3-319-23395-6
- Collation
- -
- Series Title
- -
- Call Number
- -
Surveys in Theoretical High Energy Physics - 2
The book presents pedagogical reviews of important topics on high energy physics to the students and researchers in particle physics. The book also discusses topics on the Quark–Gluon plasma, thermal field theory, perturbative quantum chromodynamics, anomalies and cosmology. Students of particle physics need to be well-equipped with basic understanding of many concepts underlying the standard…
- Edition
- -
- ISBN/ISSN
- 978-981-10-2591-4
- Collation
- XV, 295
- Series Title
- Texts and Readings in Physical Sciences
- Call Number
- -
Equilibrium Statistical Mechanics of Lattice Models
Most interesting and difficult problems in equilibrium statistical mechanics concern models which exhibit phase transitions. For graduate students and more experienced researchers this book provides an invaluable reference source of approximate and exact solutions for a comprehensive range of such models. Part I contains background material on classical thermodynamics and statistical mechanics…
- Edition
- -
- ISBN/ISSN
- 978-94-017-9430-5
- Collation
- 101 b/w illustrations
- Series Title
- -
- Call Number
- -
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography