The Leading eBooks Store Online
for Kindle Fire, Apple, Android, Nook, Kobo, PC, Mac, Sony Reader...
Most popular at the top
The Proof is in the Pudding
Springer 2011; US$ 31.99This text explores the many transformations that the mathematical proof has undergone from its inception to its versatile, present-day use, considering the advent of high-speed computing machines. Though there are many truths to be discovered in this book, by the end it is clear that there is no formalized approach or standard method of discovery to... more...
A Transition to Abstract Mathematics
Elsevier Science 2008; US$ 89.95Constructing concise and correct proofs is one of the most challenging aspects of learning to work with advanced mathematics. Meeting this challenge is a defining moment for those considering a career in mathematics or related fields. Mathematical Thinking and Writing teaches readers to construct proofs and communicate with the precision necessary... more...
Theory of Computation
Wiley 2012; US$ 120.00Learn the skills and acquire the intuition to assess the theoretical limitations of computer programming Offering an accessible approach to the topic, Theory of Computation focuses on the metatheory of computing and the theoretical boundaries between what various computational models can do and not do—from the most general model, the URM... more...
Frege's Notations
Palgrave Macmillan 2012; US$ 85.00A faithful reading of Frege's ideographic notations makes terms and well-formed formulas disjoint categories. Where ? is a function term, ?? is a well-formed formula. We can at last read Frege in the original. And when we do, new solutions to the many problems of interpreting his philosophy are revealed. more...
Apartness and Uniformity
Springer 2011; US$ 79.99This book presents a theory of apartness encompassing both point-set topology and the theory of uniform spaces. The first book on the apartness approach to constructive topology, it is a valuable addition to the literature on topology in computer science. more...
Computable Models
Springer 2009; US$ 79.95Computational models can be found everywhere in present day science and engineering. In providing a logical framework and foundation for the specification and design of specification languages, Raymond Turner uses this framework to introduce and study computable models. In doing so he presents the first systematic attempt to provide computational models... more...
Complexity Theory
Springer 2005; US$ 69.99Reflects recent developments in its emphasis on randomized and approximation algorithms and communication models All topics are considered from an algorithmic point of view stressing the implications for algorithm design more...
Mathematischer Einführungskurs für die Physik
Springer 2012; US$ 31.99Studierende, die ein Physikstudium aufnehmen, brauchen zu Beginn vor allem eines: mathematische Grundkenntnisse. Da es sich hierbei zun chst um einen relativ beschr nkten und charakteristischen Ausschnitt aus der Mathematik handelt, werden die ben tigten Kompetenzen vor allem im Rahmen von Tutorien oder Arbeitsgruppen vermittelt. Dieser Einf hrungskurs... more...
Bounded Arithmetic, Propositional Logic and Complexity Theory
Cambridge University Press 1995; US$ 134.00Discusses the deep connections between logic and complexity theory, and lists a number of intriguing open problems. more...









