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.

Analysis I


Terence Tao - 2006
    

Ordinary Differential Equations


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

A Tour of the Calculus


David Berlinski - 1995
    Just how calculus makes these things possible and in doing so finds a correspondence between real numbers and the real world is the subject of this dazzling book by a writer of extraordinary clarity and stylistic brio. Even as he initiates us into the mysteries of real numbers, functions, and limits, Berlinski explores the furthest implications of his subject, revealing how the calculus reconciles the precision of numbers with the fluidity of the changing universe. "An odd and tantalizing book by a writer who takes immense pleasure in this great mathematical tool, and tries to create it in others."--New York Times Book Review

In Search of Schrödinger's Cat: Quantum Physics and Reality


John Gribbin - 1984
    It is so important that it provides the fundamental underpinning of all modern sciences. Without it, we'd have no nuclear power or nuclear bombs, no lasers, no TV, no computers, no science of molecular biology, no understanding of DNA, no genetic engineering—at all. John Gribbin tells the complete story of quantum mechanics, a truth far stranger than any fiction. He takes us step-by-step into an ever more bizarre and fascinating place—requiring only that we approach it with an open mind. He introduces the scientists who developed quantum theory. He investigates the atom, radiation, time travel, the birth of the universe, superconductors and life itself. And in a world full of its own delights, mysteries and surprises, he searches for Schrödinger's Cat—a search for quantum reality—as he brings every reader to a clear understanding of the most important area of scientific study today—quantum physics.

Math with Bad Drawings


Ben Orlin - 2018
     In MATH WITH BAD DRAWINGS, Ben Orlin answers math's three big questions: Why do I need to learn this? When am I ever going to use it? Why is it so hard? The answers come in various forms-cartoons, drawings, jokes, and the stories and insights of an empathetic teacher who believes that math should belong to everyone.Eschewing the tired old curriculum that begins in the wading pool of addition and subtraction and progresses to the shark infested waters of calculus (AKA the Great Weed Out Course), Orlin instead shows us how to think like a mathematician by teaching us a new game of Tic-Tac-Toe, how to understand an economic crisis by rolling a pair of dice, and the mathematical reason why you should never buy a second lottery ticket. Every example in the book is illustrated with his trademark "bad drawings," which convey both his humor and his message with perfect pitch and clarity. Organized by unconventional but compelling topics such as "Statistics: The Fine Art of Honest Lying," "Design: The Geometry of Stuff That Works," and "Probability: The Mathematics of Maybe," MATH WITH BAD DRAWINGS is a perfect read for fans of illustrated popular science.

A History of Mathematics


Carl B. Boyer - 1968
    The material is arranged chronologically beginning with archaic origins and covers Egyptian, Mesopotamian, Greek, Chinese, Indian, Arabic and European contributions done to the nineteenth century and present day. There are revised references and bibliographies and revised and expanded chapters on the nineteeth and twentieth centuries.

Men of Mathematics


Eric Temple Bell - 1937
    Bell, a leading figure in mathematics in America for half a century. Men of Mathematics accessibly explains the major mathematics, from the geometry of the Greeks through Newton's calculus and on to the laws of probability, symbolic logic, and the fourth dimension. In addition, the book goes beyond pure mathematics to present a series of engrossing biographies of the great mathematicians -- an extraordinary number of whom lived bizarre or unusual lives. Finally, Men of Mathematics is also a history of ideas, tracing the majestic development of mathematical thought from ancient times to the twentieth century. This enduring work's clear, often humorous way of dealing with complex ideas makes it an ideal book for the non-mathematician.

Hands-On Machine Learning with Scikit-Learn and TensorFlow


Aurélien Géron - 2017
    Now that machine learning is thriving, even programmers who know close to nothing about this technology can use simple, efficient tools to implement programs capable of learning from data. This practical book shows you how.By using concrete examples, minimal theory, and two production-ready Python frameworks—Scikit-Learn and TensorFlow—author Aurélien Géron helps you gain an intuitive understanding of the concepts and tools for building intelligent systems. You’ll learn how to use a range of techniques, starting with simple Linear Regression and progressing to Deep Neural Networks. If you have some programming experience and you’re ready to code a machine learning project, this guide is for you.This hands-on book shows you how to use:Scikit-Learn, an accessible framework that implements many algorithms efficiently and serves as a great machine learning entry pointTensorFlow, a more complex library for distributed numerical computation, ideal for training and running very large neural networksPractical code examples that you can apply without learning excessive machine learning theory or algorithm details

The Art of Computer Programming, Volume 1: Fundamental Algorithms


Donald Ervin Knuth - 1973
     -Byte, September 1995 I can't begin to tell you how many pleasurable hours of study and recreation they have afforded me! I have pored over them in cars, restaurants, at work, at home... and even at a Little League game when my son wasn't in the line-up. -Charles Long If you think you're a really good programmer... read [Knuth's] Art of Computer Programming... You should definitely send me a resume if you can read the whole thing. -Bill Gates It's always a pleasure when a problem is hard enough that you have to get the Knuths off the shelf. I find that merely opening one has a very useful terrorizing effect on computers. -Jonathan Laventhol This first volume in the series begins with basic programming concepts and techniques, then focuses more particularly on information structures-the representation of information inside a computer, the structural relationships between data elements and how to deal with them efficiently. Elementary applications are given to simulation, numerical methods, symbolic computing, software and system design. Dozens of simple and important algorithms and techniques have been added to those of the previous edition. The section on mathematical preliminaries has been extensively revised to match present trends in research. Ebook (PDF version) produced by Mathematical Sciences Publishers (MSP), http: //msp.org

Understanding Thermodynamics


Hendrick C. Van Ness - 1983
    Language is informal, examples are vivid and lively, and the perspectivie is fresh. Based on lectures delivered to engineering students, this work will also be valued by scientists, engineers, technicians, businessmen, anyone facing energy challenges of the future.

Zero: The Biography of a Dangerous Idea


Charles Seife - 2000
    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.

Thermal Physics


Charles Kittel - 1969
    CONGRATULATIONS TO HERBERT KROEMER, 2000 NOBEL LAUREATE FOR PHYSICS For upper-division courses in thermodynamics or statistical mechanics, Kittel and Kroemer offers a modern approach to thermal physics that is based on the idea that all physical systems can be described in terms of their discrete quantum states, rather than drawing on 19th-century classical mechanics concepts.

e: the Story of a Number


Eli Maor - 1993
    Louis are all intimately connected with the mysterious number e. In this informal and engaging history, Eli Maor portrays the curious characters and the elegant mathematics that lie behind the number. Designed for a reader with only a modest mathematical background, this biography brings out the central importance of e to mathematics and illuminates a golden era in the age of science.

Information Theory, Inference and Learning Algorithms


David J.C. MacKay - 2002
    These topics lie at the heart of many exciting areas of contemporary science and engineering - communication, signal processing, data mining, machine learning, pattern recognition, computational neuroscience, bioinformatics, and cryptography. This textbook introduces theory in tandem with applications. Information theory is taught alongside practical communication systems, such as arithmetic coding for data compression and sparse-graph codes for error-correction. A toolbox of inference techniques, including message-passing algorithms, Monte Carlo methods, and variational approximations, are developed alongside applications of these tools to clustering, convolutional codes, independent component analysis, and neural networks. The final part of the book describes the state of the art in error-correcting codes, including low-density parity-check codes, turbo codes, and digital fountain codes -- the twenty-first century standards for satellite communications, disk drives, and data broadcast. Richly illustrated, filled with worked examples and over 400 exercises, some with detailed solutions, David MacKay's groundbreaking book is ideal for self-learning and for undergraduate or graduate courses. Interludes on crosswords, evolution, and sex provide entertainment along the way. In sum, this is a textbook on information, communication, and coding for a new generation of students, and an unparalleled entry point into these subjects for professionals in areas as diverse as computational biology, financial engineering, and machine learning.