The book begins with the basic concepts of logic and set theory, to familiarize students with the language of mathematics and how it is interpreted. These concepts are used as the basis for a step-by-step breakdown of the most important techniques used in constructing proofs. To help students construct their own proofs, this new edition contains over 200 new exercises, selected solutions, and an introduction to Proof Designer software. No background beyond standard high school mathematics is assumed. Previous Edition Hb (1994) 0-521-44116-1 Previous Edition Pb (1994) 0-521-44663-5

    This recreational math book takes the reader on a fantastic voyage into the world of natural numbers. From the earliest discoveries of the ancient Greeks to various fundamental characteristics of the natural number sequence, Clawson explains fascinating mathematical mysteries in clear and easy prose. He delves into the heart of number theory to see and understand the exquisite relationships among natural numbers, and ends by exploring the ultimate mystery of mathematics: the Riemann hypothesis, which says that through a point in a plane, no line can be drawn parallel to a given line.While a professional mathematician's treatment of number theory involves the most sophisticated analytical tools, its basic ideas are surprisingly easy to comprehend. By concentrating on the meaning behind various equations and proofs and avoiding technical refinements, Mathematical Mysteries lets the common reader catch a glimpse of this wonderful and exotic world.

    Topics include the development of counting and numbers systems, the emergence of zero, cultures that don’t have numbers, algebra, solid geometry, symmetry and beauty, perspective, riddles and problems, calculus, mathematical logic, friction force and displacement, subatomic particles, and the expansion of the universe. Great mathematical thinkers covered include Napier, Liu Hui, Aryabhata, Galileo, Newton, Russell, Einstein, Riemann, Euclid, Carl Friedrich Gauss, Charles Babbage, Montmort, Wittgenstein, and many more. The book is beautifully illustrated throughout in full color.

    Readers will progress from building a basic physics engine to creating intelligent moving objects and complex systems, setting the foundation for further experiments in generative design. Subjects covered include forces, trigonometry, fractals, cellular automata, self-organization, and genetic algorithms. The book's examples are written in Processing, an open-source language and development environment built on top of the Java programming language. On the book's website (http://www.natureofcode.com), the examples run in the browser via Processing's JavaScript mode.

    Contributors include Steven Weinberg, Peter Galison, John Maynard Smith, and Frank Wilczek.

    But your pleasure and prowess at games, gambling, and other numerically related pursuits can be heightened with this entertaining volume, in which the authors offer a fascinating view of some of the lesser-known and more imaginative aspects of mathematics.A brief and breezy explanation of the new language of mathematics precedes a smorgasbord of such thought-provoking subjects as the googolplex (the largest definite number anyone has yet bothered to conceive of); assorted geometries — plane and fancy; famous puzzles that made mathematical history; and tantalizing paradoxes. Gamblers receive fair warning on the laws of chance; a look at rubber-sheet geometry twists circles into loops without sacrificing certain important properties; and an exploration of the mathematics of change and growth shows how calculus, among its other uses, helps trace the path of falling bombs.Written with wit and clarity for the intelligent reader who has taken high school and perhaps college math, this volume deftly progresses from simple arithmetic to calculus and non-Euclidean geometry. It “lives up to its title in every way [and] might well have been merely terrifying, whereas it proves to be both charming and exciting." — Saturday Review of Literature.

    She wants to cover the hard-hitting issues, like world affairs and politics, but does she have the smarts for it? Thankfully, her overbearing and math-minded boss, Mr. Seki, is here to teach her how to analyze her stories with a mathematical eye.In The Manga Guide to Calculus, you'll follow along with Noriko as she learns that calculus is more than just a class designed to weed out would-be science majors. You'll see that calculus is a useful way to understand the patterns in physics, economics, and the world around us, with help from real-world examples like probability, supply and demand curves, the economics of pollution, and the density of Shochu (a Japanese liquor).Mr. Seki teaches Noriko how to:Use differentiation to understand a function's rate of change Apply the fundamental theorem of calculus, and grasp the relationship between a function's derivative and its integral Integrate and differentiate trigonometric and other complicated functions Use multivariate calculus and partial differentiation to deal with tricky functions Use Taylor Expansions to accurately imitate difficult functions with polynomials Whether you're struggling through a calculus course for the first time or you just need a painless refresher, you'll find what you're looking for in The Manga Guide to Calculus.This EduManga book is a translation from a bestselling series in Japan, co-published with Ohmsha, Ltd. of Tokyo, Japan.

    For centuries, the power of zero savored of the demonic; once harnessed, it became the most important tool in mathematics. Zero follows this number from its birth as an Eastern philosophical concept to its struggle for acceptance in Europe and its apotheosis as the mystery of the black hole. Today, zero lies at the heart of one of the biggest scientific controversies of all time, the quest for the theory of everything. Elegant, witty, and enlightening, Zero is a compelling look at the strangest number in the universe and one of the greatest paradoxes of human thought.

    . .he believes these ideas to be accessible to the audience he wantsto reach, and he writes so that they are. -- NatureIf you want to encourage anyone's interest in math, get them TheMathematical Universe. * New Scientist

    Subsequent sections deal with integrating factors; dilution and accretion problems; linearization of first order systems; Laplace Transforms; Newton's Interpolation Formulas, more.

    Muller demonstrated in his recent bestseller, Physics for Future Presidents, that he has a unique talent for delivering the “aha” moment—making difficult topics accessible. In The Instant Physicist he shows his ability to entertain, too, by presenting the best of the scientific curiosities he has assembled over his distinguished career. Assisted by award-winning cartoonist Joey Manfre, who has created an original color cartoon for each “physics bite,” Muller will have readers chuckling while they’re absorbing more science than they ever thought possible. From the surprising (chocolate has more energy in it than TNT) to the scary (even kids can make a bomb), this book contains a revelation on every page. Once finished with this page-turner, readers will be the stars of their next cocktail party.The book consists of a color cartoon on each right-hand page and explanatory text on the left.

    Each chapter contains integrated worked examples and chapter tests. This edition has the ancillary ATLAST computer exercise guide and new MATLAB and Maple guides.

    Called by some, "the theory of everything," superstrings may solve a problem that has eluded physicists for the past 50 years, the final unification of the two great theories of the twentieth century, general relativity and quantum field theory. Now, here is a thoroughly revised, second edition of a course-tested comprehensive introductory graduate text on superstrings which stresses the most current areas of interest, not covered in other presentations, including: - Four-dimensional superstrings - Kac-Moody algebras - Teichm�ller spaces and Calabi-Yau manifolds - M-theory Membranes and D-branes - Duality and BPS relations - Matrix models The book begins with a simple discussion of point particle theory, and uses Feynman path integrals to unify the presentation of superstrings. It has been updated throughout, and three new chapters on M-theory have been added. Prerequisites are an acquaintance with quantum mechanics and relativity.

    Many people regard mathematicians as a race apart, possessed of almost supernatural powers. While this is very flattering for successful mathematicians, it is very bad for those who, for one reason or another, are attempting to learn the subject.'W.W. Sawyer's deep understanding of how we learn and his lively, practical approach have made this an ideal introduction to mathematics for generations of readers. By starting at the level of simple arithmetic and algebra and then proceeding step by step through graphs, logarithms and trigonometry to calculus and the dizzying world of imaginary numbers, the book takes the mystery out of maths. Throughout, Sawyer reveals how theory is subordinate to the real-life applications of mathematics - the Pyramids were built on Euclidean principles three thousand years before Euclid formulated them - and celebrates the sheer intellectual stimulus of mathematics at its best.

    Haskell emerged in the last decade as a standard for lazy functional programming, a programming style where arguments are evaluated only when the value is actually needed. Haskell is a marvellous demonstration tool for logic and maths because its functional character allows implementations to remain very close to the concepts that get implemented, while the laziness permits smooth handling of infinite data structures.This book does not assume the reader to have previous experience with either programming or construction of formal proofs, but acquaintance with mathematical notation, at the level of secondary school mathematics is presumed. Everything one needs to know about mathematical reasoning or programming is explained as we go along. After proper digestion of the material in this book the reader will be able to write interesting programs, reason about their correctness, and document them in a clear fashion. The reader will also have learned how to set up mathematical proofs in a structured way, and how to read and digest mathematical proofs written by others.