Book picks similar to
Finite Model Theory by Heinz-Dieter Ebbinghaus
logic
mathematics
p2
lobstacle-combinatorics-graphs
Extended Mathematics for Cambridge IGCSE
David Rayner - 2011
Updated for the most recent syllabus it provides complete content coverage with thousands of practice questions in an attractive and engaging format for both native and non-native speakers of English. The book is easy-to-use with an accessible format of worked examples and practice questions. Each book is accompanied by a free CD which provides a wealth of support for students, such as hundreds of additional homework questions, self-assessment checklists, revision and examination tips, and examiner comments. An accompanying Teacher's Guide and Revision Guide are also available. Endorsed by Cambridge International Examinations.
The Little Book of Mathematical Principles, Theories, & Things
Robert Solomon - 2008
Rare Book
Asimov on Numbers
Isaac Asimov - 1978
From man's first act of counting to higher mathematics, from the smallest living creature to the dazzling reaches of outer space, Asimov is a master at "explaining complex material better than any other living person." (The New York Times) You'll learn: HOW to make a trillion seem small; WHY imaginary numbers are real; THE real size of the universe - in photons; WHY the zero isn't "good for nothing;" AND many other marvelous discoveries, in ASIMOV ON NUMBERS.
Book of Proof
Richard Hammack - 2009
It is a bridge from the computational courses (such as calculus or differential equations) that students typically encounter in their first year of college to a more abstract outlook. It lays a foundation for more theoretical courses such as topology, analysis and abstract algebra. Although it may be more meaningful to the student who has had some calculus, there is really no prerequisite other than a measure of mathematical maturity. Topics include sets, logic, counting, methods of conditional and non-conditional proof, disproof, induction, relations, functions and infinite cardinality.
Four Colors Suffice: How the Map Problem Was Solved
Robin J. Wilson - 2002
This is the amazing story of how the "map problem" was solved.The problem posed in the letter came from a former student: What is the least possible number of colors needed to fill in any map (real or invented) so that neighboring counties are always colored differently? This deceptively simple question was of minimal interest to cartographers, who saw little need to limit how many colors they used. But the problem set off a frenzy among professional mathematicians and amateur problem solvers, among them Lewis Carroll, an astronomer, a botanist, an obsessive golfer, the Bishop of London, a man who set his watch only once a year, a California traffic cop, and a bridegroom who spent his honeymoon coloring maps. In their pursuit of the solution, mathematicians painted maps on doughnuts and horseshoes and played with patterned soccer balls and the great rhombicuboctahedron. It would be more than one hundred years (and countless colored maps) later before the result was finally established. Even then, difficult questions remained, and the intricate solution--which involved no fewer than 1,200 hours of computer time--was greeted with as much dismay as enthusiasm.Providing a clear and elegant explanation of the problem and the proof, Robin Wilson tells how a seemingly innocuous question baffled great minds and stimulated exciting mathematics with far-flung applications. This is the entertaining story of those who failed to prove, and those who ultimately did prove, that four colors do indeed suffice to color any map.
Challenge And Thrill Of Pre College Mathematics
V. Krishnamurthy - 2009
It can urge the reader to explore new methodologies to have maximum fun with numbers, and opt for a higher course in mathematics. The book was specifically designed to help the student community, and develop a strong affinity towards problem solving.the book offers many complicated, and interesting challenges for the user, keeping them engaged throughout. A large number of solved problems are also included in challenge and thrill of pre-college mathematics, to give readers an insight into the subject. The book can be an eye-opener for school students of class 7 and above. The materials given in the book are powerful enough to help them develop a strong interest for the subject. The concepts are explained in a simple and comprehensive manner, providing them with a good understanding of mathematical fundamentals.what makes the book distinct is its detailed sections on geometry, that can improve the reasoning skills of students. There are also detailed accounts on algebra and trigonometry, enhancing the competitive ability of the users. The topics such as combinatorics, number theory, and probability are also explained in detail, in the book. Each chapter was designed with the intention of motivating students to appreciate the excitement that mathematical problems can provide. Published in 2003 by new age international publishers, the book is available in paperback. Key features: the book includes a collection of more than 300 solved numerical problems, compiled from various national, as well as international mathematical olympiads.it is widely recommended by students and teachers, alike as an essential preparatory book for those writing competitive examinations.
Nine Algorithms That Changed the Future: The Ingenious Ideas That Drive Today's Computers
John MacCormick - 2012
A simple web search picks out a handful of relevant needles from the world's biggest haystack: the billions of pages on the World Wide Web. Uploading a photo to Facebook transmits millions of pieces of information over numerous error-prone network links, yet somehow a perfect copy of the photo arrives intact. Without even knowing it, we use public-key cryptography to transmit secret information like credit card numbers; and we use digital signatures to verify the identity of the websites we visit. How do our computers perform these tasks with such ease? This is the first book to answer that question in language anyone can understand, revealing the extraordinary ideas that power our PCs, laptops, and smartphones. Using vivid examples, John MacCormick explains the fundamental "tricks" behind nine types of computer algorithms, including artificial intelligence (where we learn about the "nearest neighbor trick" and "twenty questions trick"), Google's famous PageRank algorithm (which uses the "random surfer trick"), data compression, error correction, and much more. These revolutionary algorithms have changed our world: this book unlocks their secrets, and lays bare the incredible ideas that our computers use every day.
From Mathematics to Generic Programming
Alexander A. Stepanov - 2014
If you're a reasonably proficient programmer who can think logically, you have all the background you'll need. Stepanov and Rose introduce the relevant abstract algebra and number theory with exceptional clarity. They carefully explain the problems mathematicians first needed to solve, and then show how these mathematical solutions translate to generic programming and the creation of more effective and elegant code. To demonstrate the crucial role these mathematical principles play in many modern applications, the authors show how to use these results and generalized algorithms to implement a real-world public-key cryptosystem. As you read this book, you'll master the thought processes necessary for effective programming and learn how to generalize narrowly conceived algorithms to widen their usefulness without losing efficiency. You'll also gain deep insight into the value of mathematics to programming--insight that will prove invaluable no matter what programming languages and paradigms you use. You will learn aboutHow to generalize a four thousand-year-old algorithm, demonstrating indispensable lessons about clarity and efficiencyAncient paradoxes, beautiful theorems, and the productive tension between continuous and discreteA simple algorithm for finding greatest common divisor (GCD) and modern abstractions that build on itPowerful mathematical approaches to abstractionHow abstract algebra provides the idea at the heart of generic programmingAxioms, proofs, theories, and models: using mathematical techniques to organize knowledge about your algorithms and data structuresSurprising subtleties of simple programming tasks and what you can learn from themHow practical implementations can exploit theoretical knowledge
A Most Elegant Equation: Euler's Formula and the Beauty of Mathematics
David Stipp - 2017
More than two centuries after Euler's death, it is still regarded as a conceptual diamond of unsurpassed beauty. Called Euler's identity or God's equation, it includes just five numbers but represents an astonishing revelation of hidden connections. It ties together everything from basic arithmetic to compound interest, the circumference of a circle, trigonometry, calculus, and even infinity. In David Stipp's hands, Euler's identity formula becomes a contemplative stroll through the glories of mathematics. The result is an ode to this magical field.
How Math Explains the World: A Guide to the Power of Numbers, from Car Repair to Modern Physics
James D. Stein - 2008
In the four main sections of the book, Stein tells the stories of the mathematical thinkers who discerned some of the most fundamental aspects of our universe. From their successes and failures, delusions, and even duels, the trajectories of their innovations—and their impact on society—are traced in this fascinating narrative. Quantum mechanics, space-time, chaos theory and the workings of complex systems, and the impossibility of a "perfect" democracy are all here. Stein's book is both mind-bending and practical, as he explains the best way for a salesman to plan a trip, examines why any thought you could have is imbedded in the number π , and—perhaps most importantly—answers one of the modern world's toughest questions: why the garage can never get your car repaired on time.Friendly, entertaining, and fun, How Math Explains the World is the first book by one of California's most popular math teachers, a veteran of both "math for poets" and Princeton's Institute for Advanced Studies. And it's perfect for any reader wanting to know how math makes both science and the world tick.
Euclid's Elements
Euclid
Heath's translation of the thirteen books of Euclid's Elements. In keeping with Green Lion's design commitment, diagrams have been placed on every spread for convenient reference while working through the proofs; running heads on every page indicate both Euclid's book number and proposition numbers for that page; and adequate space for notes is allowed between propositions and around diagrams. The all-new index has built into it a glossary of Euclid's Greek terms.Heath's translation has stood the test of time, and, as one done by a renowned scholar of ancient mathematics, it can be relied upon not to have inadvertantly introduced modern concepts or nomenclature. We have excised the voluminous historical and scholarly commentary that swells the Dover edition to three volumes and impedes classroom use of the original text. The single volume is not only more convenient, but less expensive as well.
Prealgebra
Richard Rusczyk - 2011
Topics covered in the book include the properties of arithmetic, exponents, primes and divisors, fractions, equations and inequalities, decimals, ratios and proportions, unit conversions and rates, percents, square roots, basic geometry (angles, perimeter, area, triangles, and quadrilaterals), statistics, counting and probability, and more! The text is structured to inspire the reader to explore and develop new ideas. Each section starts with problems, giving the student a chance to solve them without help before proceeding. The text then includes solutions to these problems, through which algebraic techniques are taught. Important facts and powerful problem solving approaches are highlighted throughout the text. In addition to the instructional material, the book contains well over 1000 problems. The solutions manual (sold separately) contains full solutions to all of the problems, not just answers. This book can serve as a complete Prealgebra course. This text is supplemented by free videos and a free learning system at the publisher's website.
Logic: A Complete Introduction: Teach Yourself
Siu-Fan Lee - 2017
As well as looking at logic in theoretical terms the book considers its everyday uses and demonstrates how it has genuine practical applications. It will take you step by step through the most difficult concepts and is packed with exercises to help you consolidate your learning at every stage. Covering everything from syllogistic logic to logical paradoxes and even looking at logic in Alice in Wonderland, this is the only guide you will ever need.
A Mind at Play: How Claude Shannon Invented the Information Age
Jimmy Soni - 2017
He constructed a fleet of customized unicycles and a flamethrowing trumpet, outfoxed Vegas casinos, and built juggling robots. He also wrote the seminal text of the digital revolution, which has been called “the Magna Carta of the Information Age.” His discoveries would lead contemporaries to compare him to Albert Einstein and Isaac Newton. His work anticipated by decades the world we’d be living in today—and gave mathematicians and engineers the tools to bring that world to pass.In this elegantly written, exhaustively researched biography, Jimmy Soni and Rob Goodman reveal Claude Shannon’s full story for the first time. It’s the story of a small-town Michigan boy whose career stretched from the era of room-sized computers powered by gears and string to the age of Apple. It’s the story of the origins of our digital world in the tunnels of MIT and the “idea factory” of Bell Labs, in the “scientists’ war” with Nazi Germany, and in the work of Shannon’s collaborators and rivals, thinkers like Alan Turing, John von Neumann, Vannevar Bush, and Norbert Wiener.And it’s the story of Shannon’s life as an often reclusive, always playful genius. With access to Shannon’s family and friends, A Mind at Play brings this singular innovator and creative genius to life.