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.

    By 1949, Godel had produced a remarkable proof: In any universe described by the Theory of Relativity, time cannot exist. Einstein endorsed this result reluctantly but he could find no way to refute it, since then, neither has anyone else. Yet cosmologists and philosophers alike have proceeded as if this discovery was never made. In A World Without Time, Palle Yourgrau sets out to restore Godel to his rightful place in history, telling the story of two magnificent minds put on the shelf by the scientific fashions of their day, and attempts to rescue the brilliant work they did together.

    Students know that Schaum's delivers the goods—in faster learning curves,better test scores,and higher grades!If you don't have a lot of time but want to excel in class,this book helps you: Brush up before tests; Find answers fast; Study quickly and more effectively; Get the big picture without spending hours poring over dull texts Schaum's Outlines give you the information teachers expect you to know in a handy and succinct format—without overwhelming you with unnecessary details. You get a complete overview of the subject—and no distracting minutiae. Plus,you get plenty of practice exercises to test your skill. Compatible with any classroom text,Schaum's lets you study at your own pace and reminds you of all the important facts you need to remember—fast! And Schaum's is so complete it's the perfect tool for preparing for graduate or professional exams! Students of mathematical economics apply complex formulas—a challenging task that even the best students find daunting. But this Schaum's guide demystifies tough problems and gives you plenty of fully worked examples! Chapters include: Review. Economic Applications of Graphs and Equations. The Derivative and the Rules of Differentiation. Uses of the Derivative in Mathematics and Economics. Calculus of Multivariable Functions. Calculus of Multivariable Functions in Economics. Exponential and LogarithmicFunctions. Exponential and Logarithmic Functions in Economics. Differentiation of Exponential and Logarithmic Functions. The Fundamentals of Linear (or Matrix) Algebra. Matrix Inversion. Special Determinants and Matrices and Their Use in Economics. Linear Programming: A Graphic Approach. Linear Programming: The Simplex Algorithm. Linear Programming: The Dual. Integral Calculus: The Indefinite Integral. Integral Calculus: The Definite Integral. Differential Equations. Difference Equations. Second-Order Differential Equations and Difference Equations. The Calculus of Variations

    Book is unique in its emphasis on the frequency approach and its use in the solution of problems. Contents include: Fundamentals and Algorithms; Polynomial Approximation — Classical Theory; Fourier Approximation — Modern Theory; and Exponential Approximation.

    Students, researchers, historians, specialists — in short, everyone with an interest in mathematics — will find it engrossing and stimulating.Beginning with the ancient Near East, the author traces the ideas and techniques developed in Egypt, Babylonia, China, and Arabia, looking into such manuscripts as the Egyptian Papyrus Rhind, the Ten Classics of China, and the Siddhantas of India. He considers Greek and Roman developments from their beginnings in Ionian rationalism to the fall of Constantinople; covers medieval European ideas and Renaissance trends; analyzes 17th- and 18th-century contributions; and offers an illuminating exposition of 19th century concepts. Every important figure in mathematical history is dealt with — Euclid, Archimedes, Diophantus, Omar Khayyam, Boethius, Fermat, Pascal, Newton, Leibniz, Fourier, Gauss, Riemann, Cantor, and many others.For this latest edition, Dr. Struik has both revised and updated the existing text, and also added a new chapter on the mathematics of the first half of the 20th century. Concise coverage is given to set theory, the influence of relativity and quantum theory, tensor calculus, the Lebesgue integral, the calculus of variations, and other important ideas and concepts. The book concludes with the beginnings of the computer era and the seminal work of von Neumann, Turing, Wiener, and others."The author's ability as a first-class historian as well as an able mathematician has enabled him to produce a work which is unquestionably one of the best." — Nature Magazine.

    With it has come vast amounts of data in a variety of fields such as medicine, biology, finance, and marketing. The challenge of understanding these data has led to the development of new tools in the field of statistics, and spawned new areas such as data mining, machine learning, and bioinformatics. Many of these tools have common underpinnings but are often expressed with different terminology. This book describes the important ideas in these areas in a common conceptual framework. While the approach is statistical, the emphasis is on concepts rather than mathematics. Many examples are given, with a liberal use of color graphics. It should be a valuable resource for statisticians and anyone interested in data mining in science or industry. The book's coverage is broad, from supervised learning (prediction) to unsupervised learning. The many topics include neural networks, support vector machines, classification trees and boosting—the first comprehensive treatment of this topic in any book. Trevor Hastie, Robert Tibshirani, and Jerome Friedman are professors of statistics at Stanford University. They are prominent researchers in this area: Hastie and Tibshirani developed generalized additive models and wrote a popular book of that title. Hastie wrote much of the statistical modeling software in S-PLUS and invented principal curves and surfaces. Tibshirani proposed the Lasso and is co-author of the very successful An Introduction to the Bootstrap. Friedman is the co-inventor of many data-mining tools including CART, MARS, and projection pursuit.

    Julia Diggins masterfully recreates the atmosphere of ancient times, when men, using three simple tools, the string, the straightedge, and the shadow, discovered the basic principles and constructions of elementary geometry. Her book reveals how these discoveries related to the early civilizations of Mesopotamia, Egypt, and Greece.The fabric of the story is woven out of archeological and historical records and legends about the major men of mathematics. By reconstructing the events as they might have happened, Diggins enables the attentive reader to easily follow the pattern of reasoning that leads to an ingenious proof of the Pythagorean theorem, an appreciation of the significance of the Golden Mean in art and architecture, and the construction of the five regular solids.Out of print for 34 years, Julia Diggins' classic book is back and is a must-read for middle school students or for parents helping their children through their first geometry course. You will be fascinated with the graphic illustrations and written depiction of how the knowledge and wisdom of so many cultures helped shape our civilization today. This book is popular with teachers and parents who use Jamie York's Making Math Meaningful curriculum books.

    From the early Greek influences to the Middle Ages and the Renaissance to the end of the 19th century, trace the fascinating foundation of mathematics as it developed through the ages. Aristotle, Galileo, Kepler, Newton: you know the names. Now here's what they really did, and the effect their discoveries had on our culture, all explained in a way the layperson can understand. Begin with the basis of arithmetic (Plato and the introduction of geometry), and discover why the use of Arabic numerals was critical to the development of both commerce and science. The development of calculus made space travel a reality, while the abacus prefigured the computer. The greats examined in depth include Leonardo da Vinci, a brilliant mathematician as well as artist; Pascal, who laid out the theory of probabilities; and Fermat, whose intriguing theory has only recently been solved.

    Good stories are full of life: they engage our emotions and have subtlety and nuance, but they lack rigor and the truths they tell are elusive and subject to debate. As ways of understanding the world around us, numbers and stories seem almost completely incompatible. Once Upon a Number shows that stories and numbers aren't as different as you might imagine, and in fact they have surprising and fascinating connections. The concepts of logic and probability both grew out of intuitive ideas about how certain situations would play out. Now, logicians are inventing ways to deal with real world situations by mathematical means -- by acknowledging, for instance, that items that are mathematically interchangeable may not be interchangeable in a story. And complexity theory looks at both number strings and narrative strings in remarkably similar terms. Throughout, renowned author John Paulos mixes numbers and narratives in his own delightful style. Along with lucid accounts of cutting-edge information theory we get hilarious anecdotes and jokes; instructions for running a truly impressive pyramid scam; a freewheeling conversation between Groucho Marx and Bertrand Russell (while they're stuck in an elevator together); explanations of why the statistical evidence against OJ Simpson was overwhelming beyond doubt and how the Unabomber's thinking shows signs of mathematical training; and dozens of other treats. This is another winner from America's favorite mathematician.

    

    Describes how fractals were discovered, explains their unique properties, and discusses the mathematical foundation of fractals.

    The addition of this book is a must for all upper-level Christian school curricula and for college students and adults interested in math or related fields of science and religion. It will serve as a solid refutation for the claim, often made in court, that mathematics is one subject, which cannot be taught from a distinctively Biblical perspective.

    Renowned for her lucid, accessible prose, Epp explains complex, abstract concepts with clarity and precision. This book presents not only the major themes of discrete mathematics, but also the reasoning that underlies mathematical thought. Students develop the ability to think abstractly as they study the ideas of logic and proof. While learning about such concepts as logic circuits and computer addition, algorithm analysis, recursive thinking, computability, automata, cryptography, and combinatorics, students discover that the ideas of discrete mathematics underlie and are essential to the science and technology of the computer age. Overall, Epp's emphasis on reasoning provides students with a strong foundation for computer science and upper-level mathematics courses.

    In "Musimathics," Loy teaches us the tune, providing a friendly and spirited tour of the mathematics of music -- a commonsense, self-contained introduction for the nonspecialist reader. It is designed for musicians who find their art increasingly mediated by technology, and for anyone who is interested in the intersection of art and science.In Volume 1, Loy presents the materials of music (notes, intervals, and scales); the physical properties of music (frequency, amplitude, duration, and timbre); the perception of music and sound (how we hear); and music composition. Calling himself "a composer seduced into mathematics," Loy provides answers to foundational questions about the mathematics of music accessibly yet rigorously. The examples given are all practical problems in music and audio.Additional material can be found at http: //www.musimathics.com.

    Even the simplest numbers can become powerful forces when manipulated by politicians or the media, but in the case of the law, your liberty -- and your life -- can depend on the right calculation. In Math on Trial, mathematicians Leila Schneps and Coralie Colmez describe ten trials spanning from the nineteenth century to today, in which mathematical arguments were used -- and disastrously misused -- as evidence. They tell the stories of Sally Clark, who was accused of murdering her children by a doctor with a faulty sense of calculation; of nineteenth-century tycoon Hetty Green, whose dispute over her aunt's will became a signal case in the forensic use of mathematics; and of the case of Amanda Knox, in which a judge's misunderstanding of probability led him to discount critical evidence -- which might have kept her in jail. Offering a fresh angle on cases from the nineteenth-century Dreyfus affair to the murder trial of Dutch nurse Lucia de Berk, Schneps and Colmez show how the improper application of mathematical concepts can mean the difference between walking free and life in prison. A colorful narrative of mathematical abuse, Math on Trial blends courtroom drama, history, and math to show that legal expertise isn't't always enough to prove a person innocent.