The Leading eBooks Store Online
for your Apple or Android device, Nook, Kobo, PC, Mac, Sony Reader...
Most popular at the top
Algorithmic Puzzlesby Anany Levitin; Maria Levitin
Oxford University Press, USA 2011; US$ 21.95While many think of algorithms as specific to computer science, at its core algorithmic thinking is defined by the use of analytical logic to solve problems. This logic extends far beyond the realm of computer science and into the wide and entertaining world of puzzles. In Algorithmic Puzzles, Anany and Maria Levitin use many classic brainteasers as well as newer examples from job interviews with major corporations to show readers how to apply analytical thinking to solve puzzles requiring well-defined procedures. The book's unique collection of puzzles is supplemented with carefully developed tutorials on algorithm design strategies and analysis techniques intended to walk the reader step-by-step through the various approaches to algorithmic... more...
The Liar Paradox and the Towers of Hanoiby Marcel Danesi
John Wiley & Sons, Inc. 2011; US$ 15.95A walk through history's most mind-boggling puzzles Ever since the Sphinx asked his legendary riddle of Oedipus, riddles, conundrums, and puzzles of all sizes have kept humankind perplexed and amused. The Liar Paradox and the Towers of Hanoi takes die-hard puzzle mavens on a tour of the world's most enduringly intriguing braintwisters, from K?nigsberg's Bridges and the Hanoi Towers to Fibonacci's Rabbits, the Four Color Problem, and the Magic Square. Each chapter introduces the basic puzzle, discusses the mathematics behind it, and includes exercises and answers plus additional puzzles similar to the one under discussion. Here is a veritable kaleidoscope of puzzling labyrinths, maps, bridges, and optical illusions that will keep aficionados... more...
The A to Z of Mathematicsby Thomas H. Sidebotham
John Wiley & Sons, Inc. 2003; US$ 105.00Forget the jargon. Forget the anxiety. Just remember the math. In this age of cheap calculators and powerful spreadsheets, who needs to know math? The answer is: everyone. Math is all around us. We confront it shopping in the supermarket, paying our bills, checking the sports stats, and working at our jobs. It is also one of the most fascinating-and useful-subjects. Mastering math can make a difference in your career, your studies, and your daily life. If you are among the millions of people who would love to understand math but are turned away by fear of its complexity, here is your salvation. The A to Z of Mathematics makes math simple without making it simplistic. Both easy to use and easy to read, the book covers all the topics in basic... more...
Godel's Proofby Ernest Nagel; James R. Newman
Routledge 1971; US$ 19.95Gödel's exploration of terra incognita is recognised as one of the major contributions to modern scientific thought. more...
Godel's Theorem in Focusby S.G. Shanker
Routledge 1987; US$ 36.95A layman's guide to the mechanics of Gödel's proof together with a lucid discussion of the issues which it raises. Includes an essay discussing the significance of Gödel's work in the light of Wittgenstein's criticisms. more...
A Modern Perspective on Type Theoryby Fairouz D. Kamareddine; TWAN LAAN; ROB NEDERPELT
Springer 2004; US$ 219.00Towards the end of the nineteenth century, Frege gave us the abstraction principles and the general notion of functions. Self-application of functions was at the heart of Russell's paradox. This led Russell to introduce type theory in order to avoid the paradox. Since, the twentieth century has seen an amazing number of theories concerned with types and functions and many applications. Progress in computer science also meant more and more emphasis on the use of logic, types and functions to study the syntax, semantics, design and implementation of programming languages and theorem provers, and the correctness of proofs and programs. The authors of this book have themselves been leading the way by providing various extensions of type theory... more...
Breakup of Liquid Sheets and Jetsby S. P. Lin
Cambridge University Press 2003; US$ 32.00The theme of this book is an exposition of what we know about the physics underlying the onset of instability in liquid sheets and jets. Wave motion and breakup phenomena subsequent to the onset of instability are also carefully explained. Physical concepts are established through rigorous mathematics, accurate numerical analyses and comparison of theory with experiment. more...
Thin Plates and Shellsby Eduard Ventsel; Theodor Krauthammer
Marcel Dekker Inc 2001; US$ 199.95This work presents principles of thin plate and shell theories - emphasizing novel analytical and numerical methods of solving linear and nonlinear plate and shell dilemmas, and new theories for the design and analysis of thin plate-shell structures. more...
Computability and Logicby George S. Boolos; John P. Burgess; Richard C. Jeffrey
Cambridge University Press 2002; US$ 28.00Now in its fourth edition, this book has become a classic because it covers not simply the staple topics of intermediate logic courses but also a large number of other topics. John Burgess has enhanced the book by adding problems at the end of each chapter and by rewriting chapters. more...
Paradox and Paraconsistencyby John Woods
Cambridge University Press 2002; US$ 34.00One might expect the exact sciences of logic and mathematics to be without conflict. In fact these disciplines are rife with internal divisions between often incompatible systems. This book explores apparently intractable disagreements in logic and the foundations of mathematics and sets out conflict resolution strategies that evade these stalemates. more...