Learn You a Haskell for Great Good!


Miran Lipovača - 2011
    Learn You a Haskell for Great Good! introduces programmers familiar with imperative languages (such as C++, Java, or Python) to the unique aspects of functional programming. Packed with jokes, pop culture references, and the author's own hilarious artwork, Learn You a Haskell for Great Good! eases the learning curve of this complex language, and is a perfect starting point for any programmer looking to expand his or her horizons. The well-known web tutorial on which this book is based is widely regarded as the best way for beginners to learn Haskell, and receives over 30,000 unique visitors monthly.

Gödel's Proof


Ernest Nagel - 1958
    Gödel received public recognition of his work in 1951 when he was awarded the first Albert Einstein Award for achievement in the natural sciences--perhaps the highest award of its kind in the United States. The award committee described his work in mathematical logic as "one of the greatest contributions to the sciences in recent times."However, few mathematicians of the time were equipped to understand the young scholar's complex proof. Ernest Nagel and James Newman provide a readable and accessible explanation to both scholars and non-specialists of the main ideas and broad implications of Gödel's discovery. It offers every educated person with a taste for logic and philosophy the chance to understand a previously difficult and inaccessible subject.New York University Press is proud to publish this special edition of one of its bestselling books. With a new introduction by Douglas R. Hofstadter, this book will appeal students, scholars, and professionals in the fields of mathematics, computer science, logic and philosophy, and science.

Code: The Hidden Language of Computer Hardware and Software


Charles Petzold - 1999
    And through CODE, we see how this ingenuity and our very human compulsion to communicate have driven the technological innovations of the past two centuries. Using everyday objects and familiar language systems such as Braille and Morse code, author Charles Petzold weaves an illuminating narrative for anyone who’s ever wondered about the secret inner life of computers and other smart machines. It’s a cleverly illustrated and eminently comprehensible story—and along the way, you’ll discover you’ve gained a real context for understanding today’s world of PCs, digital media, and the Internet. No matter what your level of technical savvy, CODE will charm you—and perhaps even awaken the technophile within.

Mathematics 1001: Absolutely Everything That Matters in Mathematics in 1001 Bite-Sized Explanations


Richard Elwes - 2010
    Distilled into 1001 mini-essays arranged thematically, this unique book moves steadily from the basics through to the most advanced areas of math, making it the ideal guide for both the beginner and the math wiz.The book covers all of the fundamental mathematical disciplines:Geometry Numbers Analysis Logic Algebra Probability and statistics Applied mathematics Discrete mathematics Games and recreational mathematics Philosophy and metamathematicsExpert mathematician Richard Elwes explains difficult concepts in the simplest language with a minimum of jargon. Along the way he reveals such mathematical magic as how to count to 1023 using just 10 fingers and how to make an unbreakable code.Enlightening and entertaining, Mathematics 1001 makes the language of math come alive.

Crypto: How the Code Rebels Beat the Government—Saving Privacy in the Digital Age


Steven Levy - 2001
    From Stephen Levy—the author who made "hackers" a household word—comes this account of a revolution that is already affecting every citizen in the twenty-first century. Crypto tells the inside story of how a group of "crypto rebels"—nerds and visionaries turned freedom fighters—teamed up with corporate interests to beat Big Brother and ensure our privacy on the Internet. Levy's history of one of the most controversial and important topics of the digital age reads like the best futuristic fiction.

A First Course in Differential Equations: With Modeling Applications


Dennis G. Zill - 1989
    This proven and accessible text speaks to beginning engineering and math students through a wealth of pedagogical aids, including an abundance of examples, explanations, "Remarks" boxes, definitions, and group projects. Using a straightforward, readable, and helpful style, this book provides a thorough treatment of boundary-value problems and partial differential equations.

Introduction to Mathematical Statistics


Robert V. Hogg - 1962
    Designed for two-semester, beginning graduate courses in Mathematical Statistics, and for senior undergraduate Mathematics, Statistics, and Actuarial Science majors, this text retains its ongoing features and continues to provide students with background material.

Emergence: The Connected Lives of Ants, Brains, Cities, and Software


Steven Johnson - 2001
    Explaining why the whole is sometimes smarter than the sum of its parts, Johnson presents surprising examples of feedback, self-organization, and adaptive learning. How does a lively neighborhood evolve out of a disconnected group of shopkeepers, bartenders, and real estate developers? How does a media event take on a life of its own? How will new software programs create an intelligent World Wide Web? In the coming years, the power of self-organization -- coupled with the connective technology of the Internet -- will usher in a revolution every bit as significant as the introduction of electricity. Provocative and engaging, Emergence puts you on the front lines of this exciting upheaval in science and thought.

CK-12 Trigonometry


CK-12 Foundation - 2010
    Topics include: Trigonometric Identities & Equations, Circular Functions, and Polar Equations & Complex Numbers.

Big Data: A Revolution That Will Transform How We Live, Work, and Think


Viktor Mayer-Schönberger - 2013
    “Big data” refers to our burgeoning ability to crunch vast collections of information, analyze it instantly, and draw sometimes profoundly surprising conclusions from it. This emerging science can translate myriad phenomena—from the price of airline tickets to the text of millions of books—into searchable form, and uses our increasing computing power to unearth epiphanies that we never could have seen before. A revolution on par with the Internet or perhaps even the printing press, big data will change the way we think about business, health, politics, education, and innovation in the years to come. It also poses fresh threats, from the inevitable end of privacy as we know it to the prospect of being penalized for things we haven’t even done yet, based on big data’s ability to predict our future behavior.In this brilliantly clear, often surprising work, two leading experts explain what big data is, how it will change our lives, and what we can do to protect ourselves from its hazards. Big Data is the first big book about the next big thing.www.big-data-book.com

Networks: A Very Short Introduction


Guido Caldarelli - 2012
    It is impossible to understand the spread of an epidemic, a computer virus, large-scale blackouts, or massive extinctions without taking into account the network structure that underlies all these phenomena. In this Very Short Introduction, Guido Caldarelli and Michele Catanzaro discuss the nature and variety of networks, using everyday examples from society, technology, nature, and history to explain and understand the science of network theory. They show the ubiquitous role of networks; how networks self-organize; why the rich get richer; and how networks can spontaneously collapse. They conclude by highlighting how the findings of complex network theory have very wide and important applications in genetics, ecology, communications, economics, and sociology.

Godel: A Life Of Logic, The Mind, And Mathematics


John L. Casti - 2000
    His Incompleteness Theorem turned not only mathematics but also the whole world of science and philosophy on its head. Equally legendary were Gö's eccentricities, his close friendship with Albert Einstein, and his paranoid fear of germs that eventually led to his death from self-starvation. Now, in the first popular biography of this strange and brilliant thinker, John Casti and Werner DePauli bring the legend to life. After describing his childhood in the Moravian capital of Brno, the authors trace the arc of Gö's remarkable career, from the famed Vienna Circle, where philosophers and scientists debated notions of truth, to the Institute for Advanced Study in Princeton, New Jersey, where he lived and worked until his death in 1978. In the process, they shed light on Gö's contributions to mathematics, philosophy, computer science, artificial intelligence -- even cosmology -- in an entertaining and accessible way.

A Beautiful Math: John Nash, Game Theory, and the Modern Quest for a Code of Nature


Tom Siegfried - 2006
    Today Nash's beautiful math has become a universal language for research in the social sciences and has infiltrated the realms of evolutionary biology, neuroscience, and even quantum physics. John Nash won the 1994 Nobel Prize in economics for pioneering research published in the 1950s on a new branch of mathematics known as game theory. At the time of Nash's early work, game theory was briefly popular among some mathematicians and Cold War analysts. But it remained obscure until the 1970s when evolutionary biologists began applying it to their work. In the 1980s economists began to embrace game theory. Since then it has found an ever expanding repertoire of applications among a wide range of scientific disciplines. Today neuroscientists peer into game players' brains, anthropologists play games with people from primitive cultures, biologists use games to explain the evolution of human language, and mathematicians exploit games to better understand social networks. A common thread connecting much of this research is its relevance to the ancient quest for a science of human social behavior, or a Code of Nature, in the spirit of the fictional science of psychohistory described in the famous Foundation novels by the late Isaac Asimov. In A Beautiful Math, acclaimed science writer Tom Siegfried describes how game theory links the life sciences, social sciences, and physical sciences in a way that may bring Asimov's dream closer to reality.

The Haskell Road to Logic, Maths and Programming


Kees Doets - 2004
    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.

Trigonometric Delights


Eli Maor - 1998
    It has a reputation as a dry and difficult subject, a glorified form of geometry complicated by tedious computation. In this book, Eli Maor draws on his remarkable talents as a guide to the world of numbers to dispel that view. Rejecting the usual arid descriptions of sine, cosine, and their trigonometric relatives, he brings the subject to life in a compelling blend of history, biography, and mathematics. He presents both a survey of the main elements of trigonometry and a unique account of its vital contribution to science and social development. Woven together in a tapestry of entertaining stories, scientific curiosities, and educational insights, the book more than lives up to the title Trigonometric Delights.Maor, whose previous books have demystified the concept of infinity and the unusual number "e," begins by examining the "proto-trigonometry" of the Egyptian pyramid builders. He shows how Greek astronomers developed the first true trigonometry. He traces the slow emergence of modern, analytical trigonometry, recounting its colorful origins in Renaissance Europe's quest for more accurate artillery, more precise clocks, and more pleasing musical instruments. Along the way, we see trigonometry at work in, for example, the struggle of the famous mapmaker Gerardus Mercator to represent the curved earth on a flat sheet of paper; we see how M. C. Escher used geometric progressions in his art; and we learn how the toy Spirograph uses epicycles and hypocycles.Maor also sketches the lives of some of the intriguing figures who have shaped four thousand years of trigonometric history. We meet, for instance, the Renaissance scholar Regiomontanus, who is rumored to have been poisoned for insulting a colleague, and Maria Agnesi, an eighteenth-century Italian genius who gave up mathematics to work with the poor--but not before she investigated a special curve that, due to mistranslation, bears the unfortunate name "the witch of Agnesi." The book is richly illustrated, including rare prints from the author's own collection. Trigonometric Delights will change forever our view of a once dreaded subject.