Filter by
Introduction to Mathematical Analysis I
The lecture notes contain topics of real analysis usually covered in a 10-week course: the completeness axiom, sequences and convergence, continuity, and differentiation. The lecture notes also contain many well-selected exercises of various levels. Although these topics are written in a more abstract way compared with those available in some textbooks, teachers can choose to simplify them depe…
- Edition
- -
- ISBN/ISSN
- 9781365605529
- Collation
- -
- Series Title
- -
- Call Number
- 515 LAF i
Universe Unveiled The Cosmos in My Bubble Bath
The bubbles were swirling all around me, massaging my body. As I luxuriated in this fantastic bath, I gasped realizing that those bubbles carried with them miniature galaxies bringing the entire Cosmos into my bathtub... Alfie is back. And so are George and other characters from the author’s previous book Einstein’s Enigma or Black Holes in My Bubble Bath. While the present book, Univers…
- Edition
- -
- ISBN/ISSN
- 978-3-319-08213-4
- Collation
- 34 b/w illustrations
- Series Title
- -
- Call Number
- -
The Formalisms of Quantum Mechanics
Quantum mechanics is probably the most successful physical theory ever proposed and despite huge experimental and technical progresses in over almost a century, it has never been seriously challenged by experiments. In addition, quantum information science ha s become an important and very active field in recent decades, further enriching the many facets of quantum physics. Yet, there is a s…
- Edition
- -
- ISBN/ISSN
- 978-3-319-10539-0
- Collation
- VII, 157
- Series Title
- Lecture Notes in Physics
- Call Number
- -
Advances in Proof Theory
The aim of this volume is to collect original contributions by the best specialists from the area of proof theory, constructivity, and computation and discuss recent trends and results in these areas. Some emphasis will be put on ordinal analysis, reductive proof theory, explicit mathematics and type-theoretic formalisms, and abstract computations. The volume is dedicated to the 60th birthday o…
- Edition
- Ed. 1
- ISBN/ISSN
- 978-3-319-29198-7
- Collation
- XII, 425
- Series Title
- Progress in Computer Science and Applied Logic
- Call Number
- 511.3 ADV a
Turing’s Revolution The Impact of His Ideas about Computability
This book provides an overview of the confluence of ideas in Turing’s era and work and examines the impact of his work on mathematical logic and theoretical computer science. It combines contributions by well-known scientists on the history and philosophy of computability theory as well as on generalised Turing computability. By looking at the roots and at the philosophical and technical infl…
- Edition
- -
- ISBN/ISSN
- 978-3-319-22156-4
- Collation
- 17 b/w illustrations, 1 illustrations in colour
- Series Title
- -
- Call Number
- -
Logic, Rationality, and Interaction: 5th International Workshop, LORI 2015, T…
FoLLI-LNCS is the publication platform for the Association of Logic, Language and Information (FoLLI, www.folli.org). The Association was founded in 1991 to advance research and education on the interface between logic, linguistics, computer science, and cognitive science. The FoLLI Publications on Logic, Language and Information aim to disseminate results of cutting-edge research and tutorial …
- Edition
- -
- ISBN/ISSN
- 978-3-662-48561-3
- Collation
- -
- Series Title
- -
- Call Number
- -
Facets of Uncertainties and Applications ICFUA, Kolkata, India, December 2013
Since the emergence of the formal concept of probability theory in the seventeenth century, uncertainty has been perceived solely in terms of probability theory. However, this apparently unique link between uncertainty and probability theory has come under investigation a few decades back. Uncertainties are nowadays accepted to be of various kinds. Uncertainty in general could refer to differen…
- Edition
- -
- ISBN/ISSN
- 978-81-322-2301-6
- Collation
- 61 b/w illustrations
- Series Title
- -
- Call Number
- -
Logical Studies of Paraconsistent Reasoning in Science and Mathematics
This book covers work written by leading scholars from different schools within the research area of paraconsistency. The authors critically investigate how contemporary paraconsistent logics can be used to better understand human reasoning in science and mathematics. Offering a variety of perspectives, they shed a new light on the question of whether paraconsistent logics can function as the u…
- Edition
- -
- ISBN/ISSN
- 978-3-319-40220-8
- Collation
- -
- Series Title
- -
- Call Number
- -
The Complex Itinerary of Leibniz’s Planetary Theory
This book presents new insights into Leibniz’s research on planetary theory and his system of pre-established harmony. Although some aspects of this theory have been explored in the literature, others are less well known. In particular, the book offers new contributions on the connection between the planetary theory and the theory of gravitation. It also provides an in-depth discussion of Kep…
- Edition
- -
- ISBN/ISSN
- 978-3-319-21236-4
- Collation
- X, 188
- Series Title
- Science Networks. Historical Studies
- Call Number
- -
The 2-tuple Linguistic Model
The authors provide a thorough review of the specialized literature in CWW and highlight the rapid growth and applicability of the 2-tuple linguistic model. They explore the foundations and methodologies for CWW in complex frameworks and extensions. The book introduces the software FLINTSTONES that provides tools for solving linguistic decision problems based on the 2-tuple linguistic model.
- Edition
- -
- ISBN/ISSN
- 978-3-319-24714-4
- Collation
- XIII, 168
- Series Title
- -
- Call Number
- -
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography