Book picks similar to
Axioms And Hulls by Donald Ervin Knuth


math
computer-science
htc-computer-books
knuth

Vedic Mathematics


Jagadguru S. Maharaja - 1992
    It relates to the truth of numbers and magnitudes equally to all sciences and arts. The book brings to light how great and true knowledge is born of intuition, quite different from modern Western method. The ancient Indian method and its secret techniques are examined and shown to be capable of solving various problems of mathematics.

Weapons of Math Destruction: How Big Data Increases Inequality and Threatens Democracy


Cathy O'Neil - 2016
    Increasingly, the decisions that affect our lives--where we go to school, whether we can get a job or a loan, how much we pay for health insurance--are being made not by humans, but by machines. In theory, this should lead to greater fairness: Everyone is judged according to the same rules.But as mathematician and data scientist Cathy O'Neil reveals, the mathematical models being used today are unregulated and uncontestable, even when they're wrong. Most troubling, they reinforce discrimination--propping up the lucky, punishing the downtrodden, and undermining our democracy in the process.

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.

Game Theory 101: The Complete Textbook


William Spaniel - 2011
    

Sync: The Emerging Science of Spontaneous Order


Steven H. Strogatz - 2003
    Along the tidal rivers of Malaysia, thousands of fireflies congregate and flash in unison; the moon spins in perfect resonance with its orbit around the earth; our hearts depend on the synchronous firing of ten thousand pacemaker cells. While the forces that synchronize the flashing of fireflies may seem to have nothing to do with our heart cells, there is in fact a deep connection. Synchrony is a science in its infancy, and Strogatz is a pioneer in this new frontier in which mathematicians and physicists attempt to pinpoint just how spontaneous order emerges from chaos. From underground caves in Texas where a French scientist spent six months alone tracking his sleep-wake cycle, to the home of a Dutch physicist who in 1665 discovered two of his pendulum clocks swinging in perfect time, this fascinating book spans disciplines, continents, and centuries. Engagingly written for readers of books such as Chaos and The Elegant Universe, Sync is a tour-de-force of nonfiction writing.

The Improbability Principle: Why Coincidences, Miracles, and Rare Events Happen Every Day


David J. Hand - 2014
    Hand argues that extraordinarily rare events are anything but. In fact, they’re commonplace. Not only that, we should all expect to experience a miracle roughly once every month.     But Hand is no believer in superstitions, prophecies, or the paranormal. His definition of “miracle” is thoroughly rational. No mystical or supernatural explanation is necessary to understand why someone is lucky enough to win the lottery twice, or is destined to be hit by lightning three times and still survive. All we need, Hand argues, is a firm grounding in a powerful set of laws: the laws of inevitability, of truly large numbers, of selection, of the probability lever, and of near enough.     Together, these constitute Hand’s groundbreaking Improbability Principle. And together, they explain why we should not be so surprised to bump into a friend in a foreign country, or to come across the same unfamiliar word four times in one day. Hand wrestles with seemingly less explicable questions as well: what the Bible and Shakespeare have in common, why financial crashes are par for the course, and why lightning does strike the same place (and the same person) twice. Along the way, he teaches us how to use the Improbability Principle in our own lives—including how to cash in at a casino and how to recognize when a medicine is truly effective.     An irresistible adventure into the laws behind “chance” moments and a trusty guide for understanding the world and universe we live in, The Improbability Principle will transform how you think about serendipity and luck, whether it’s in the world of business and finance or you’re merely sitting in your backyard, tossing a ball into the air and wondering where it will land.

Hacker's Delight


Henry S. Warren Jr. - 2002
    Aiming to tell the dark secrets of computer arithmetic, this title is suitable for library developers, compiler writers, and lovers of elegant hacks.

My Best Mathematical and Logic Puzzles


Martin Gardner - 1994
    He was especially careful to present new and unfamiliar puzzles that had not been included in such classic collections as those by Sam Loyd and Henry Dudeney. Later, these puzzles were published in book collections, incorporating reader feedback on alternate solutions or interesting generalizations.The present volume contains a rich selection of 70 of the best of these brain teasers, in some cases including references to new developments related to the puzzle. Now enthusiasts can challenge their solving skills and rattle their egos with such stimulating mind-benders as The Returning Explorer, The Mutilated Chessboard, Scrambled Box Tops, The Fork in the Road, Bronx vs. Brooklyn, Touching Cigarettes, and 64 other problems involving logic and basic math. Solutions are included.

How to read and do proofs


Daniel Solow - 1982
    Shows how any proof can be understood as a sequence of techniques. Covers the full range of techniques used in proofs, such as the contrapositive, induction, and proof by contradiction. Explains how to identify which techniques are used and how they are applied in the specific problem. Illustrates how to read written proofs with many step-by-step examples. Includes new, expanded appendices related to discrete mathematics, linear algebra, modern algebra and real analysis.

The Master Algorithm: How the Quest for the Ultimate Learning Machine Will Remake Our World


Pedro Domingos - 2015
    In The Master Algorithm, Pedro Domingos lifts the veil to give us a peek inside the learning machines that power Google, Amazon, and your smartphone. He assembles a blueprint for the future universal learner--the Master Algorithm--and discusses what it will mean for business, science, and society. If data-ism is today's philosophy, this book is its bible.

Real World OCaml: Functional programming for the masses


Yaron Minsky - 2013
    Through the book’s many examples, you’ll quickly learn how OCaml stands out as a tool for writing fast, succinct, and readable systems code.Real World OCaml takes you through the concepts of the language at a brisk pace, and then helps you explore the tools and techniques that make OCaml an effective and practical tool. In the book’s third section, you’ll delve deep into the details of the compiler toolchain and OCaml’s simple and efficient runtime system.Learn the foundations of the language, such as higher-order functions, algebraic data types, and modulesExplore advanced features such as functors, first-class modules, and objectsLeverage Core, a comprehensive general-purpose standard library for OCamlDesign effective and reusable libraries, making the most of OCaml’s approach to abstraction and modularityTackle practical programming problems from command-line parsing to asynchronous network programmingExamine profiling and interactive debugging techniques with tools such as GNU gdb

Conceptual Mathematics: A First Introduction to Categories


F. William Lawvere - 1997
    Written by two of the best-known names in categorical logic, Conceptual Mathematics is the first book to apply categories to the most elementary mathematics. It thus serves two purposes: first, to provide a key to mathematics for the general reader or beginning student; and second, to furnish an easy introduction to categories for computer scientists, logicians, physicists, and linguists who want to gain some familiarity with the categorical method without initially committing themselves to extended study.

Code Girls: The True Story of the American Women Who Secretly Broke Codes in World War II (Young Readers Edition)


Liza Mundy - 2018
    Army and Navy. While their brothers and boyfriends took up arms, these women moved to the nation's capital to learn the top secret art of code breaking. Through their work, the "code girls" helped save countless lives and were vital in ending the war. But due to the top secret nature of their accomplishments, these women have never been able to talk about their story--until now. Through research and countless interviews with the surviving code girls, Liza Mundy brings their story to life. Abridged and adapted for a middle grade audience, Code Girls brings this story to young readers for the first time, showcasing this vital story of American courage, service, and scientific accomplishment.

Music Like Dirt: A Chapbook


Frank Bidart - 2002
    I wanted not a tract, but a tapestry in which making is seen in the context of the other processes—sexuality, mortality—inseparable from it.""Bidart has patiently amassed as profound and original a body of work as any now being written in this country. He has given form for our age to what is most urgent and most private in the human soul: the ordeals of solitude and mortality and hunger and, recently, that action through which being speaks: the drive to make or create. Bidart’s poems sound like no one else’s; they look like no one else’s. . . . He is, in the feeling of our jury, one of the great poets of our time."—Louise Glück, jury chair, 2001 Wallace Stevens Award The Academy of American PoetsThe inaugural edition in Sarabande's Quarternote Chapbook Series which will feature a select group of poets by invitation onlyFrank Bidart's collections of poetry include Desire (1997), which received the 1998 Bobbitt Prize for Poetry from the Library of Congress and the Theodore Roethke Memorial Poetry Prize, and was nominated for the National Book Award, the National Book Critics Circle Award, and the Pulitzer Prize; In the Western Night: Collected Poems 1965-90 (1990); The Sacrifice (1983); The Book of the Body (1977); and Golden State (1973). Among his many honors are the Lila Acheson Wallace/Reader’s Digest Fund Writer’s Award, the Morton Dauwen Zabel Award given by the American Academy of Arts and Letters, the Shelley Award of the Poetry Society of America, and the Lannan Literary Award. He teaches at Wellesley College and lives in Cambridge, Massachusetts.

Algorithmic Puzzles


Anany V. Levitin - 2011
    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 problem solving. Mastery of these strategies--exhaustive search, backtracking, and divide-and-conquer, among others--will aid the reader in solving not only the puzzles contained in this book, but also others encountered in interviews, puzzle collections, and throughout everyday life. Each of the 150 puzzles contains hints and solutions, along with commentary onthe puzzle's origins and solution methods. The only book of its kind, Algorithmic Puzzles houses puzzles for all skill levels. Readers with only middle school mathematics will develop their algorithmic problem-solving skills through puzzles at the elementary level, while seasoned puzzle solvers will enjoy the challenge of thinking throughmore difficult puzzles.