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.

General Relativity


Robert M. Wald - 1984
    The book includes full discussions of many problems of current interest which are not treated in any extant book, and all these matters are considered with perception and understanding."—S. Chandrasekhar "A tour de force: lucid, straightforward, mathematically rigorous, exacting in the analysis of the theory in its physical aspect."—L. P. Hughston, Times Higher Education Supplement"Truly excellent. . . . A sophisticated text of manageable size that will probably be read by every student of relativity, astrophysics, and field theory for years to come."—James W. York, Physics Today

Artificial Intelligence: A Modern Approach


Stuart Russell - 1994
    The long-anticipated revision of this best-selling text offers the most comprehensive, up-to-date introduction to the theory and practice of artificial intelligence. *NEW-Nontechnical learning material-Accompanies each part of the book. *NEW-The Internet as a sample application for intelligent systems-Added in several places including logical agents, planning, and natural language. *NEW-Increased coverage of material - Includes expanded coverage of: default reasoning and truth maintenance systems, including multi-agent/distributed AI and game theory; probabilistic approaches to learning including EM; more detailed descriptions of probabilistic inference algorithms. *NEW-Updated and expanded exercises-75% of the exercises are revised, with 100 new exercises. *NEW-On-line Java software. *Makes it easy for students to do projects on the web using intelligent agents. *A unified, agent-based approach to AI-Organizes the material around the task of building intelligent agents. *Comprehensive, up-to-date coverage-Includes a unified view of the field organized around the rational decision making pa

Information Theory: A Tutorial Introduction


James V. Stone - 2015
    In this richly illustrated book, accessible examples are used to show how information theory can be understood in terms of everyday games like '20 Questions', and the simple MatLab programs provided give hands-on experience of information theory in action. Written in a tutorial style, with a comprehensive glossary, this text represents an ideal primer for novices who wish to become familiar with the basic principles of information theory.Download chapter 1 from http://jim-stone.staff.shef.ac.uk/Boo...

Superstrings And The Search For The Theory Of Everything


F. David Peat - 1988
    David Peat explains the development and meaning of this Superstring Theory in a thoroughly readable, dramatic manner accessible to lay readers with no knowledge of mathematics. The consequences of the Superstring Theory are nothing less than astonishing.

Alice in Quantumland: An Allegory of Quantum Physics


Robert Gilmore - 1994
    Through the allegory of Alice's adventures and encounters, Gilmore makes the essential features of the quantum world clear and accessible. It is a thrilling introduction to some essential, often difficult-to-grasp concepts about the world we inhabit.

Schaum's Outline of Differential Equations


Richard Bronson - 2006
    Thoroughly updated, this edition offers new, faster techniques for solving differential equations generated by the emergence of high-speed computers.

Introduction to the Theory of Computation


Michael Sipser - 1996
    Sipser's candid, crystal-clear style allows students at every level to understand and enjoy this field. His innovative "proof idea" sections explain profound concepts in plain English. The new edition incorporates many improvements students and professors have suggested over the years, and offers updated, classroom-tested problem sets at the end of each chapter.

Quantum Theory: A Very Short Introduction


John C. Polkinghorne - 2002
    This book gives a lucid, exciting, and accessible account of the surprising and counterintuitive ideas that shape our understanding of the sub-atomic world. It does not disguise the problems of interpretation that still remain unsettled 75 years after the initial discoveries. The main text makes no use of equations, but there is a Mathematical Appendix for those desiring stronger fare. Uncertainty, probabilistic physics, complementarity, the problematic character of measurement, and decoherence are among the many topics discussed. This volume offers the reader access to one of the greatest discoveries in the history of physics and one of the outstanding intellectual achievements of the twentieth century.About the Series: Combining authority with wit, accessibility, and style, Very Short Introductions offer an introduction to some of life's most interesting topics. Written by experts for the newcomer, they demonstrate the finest contemporary thinking about the central problems and issues in hundreds of key topics, from philosophy to Freud, quantum theory to Islam.

Molecular Biology of the Cell


Bruce Alberts - 1983
    By extracting the fundamental concepts from this enormous and ever-growing field, the authors tell the story of cell biology, and create a coherent framework through which non-expert readers may approach the subject. Written in clear and concise language, and beautifully illustrated, the book is enjoyable to read, and it provides a clear sense of the excitement of modern biology. Molecular Biology of the Cell sets forth the current understanding of cell biology (completely updated as of Autumn 2001), and it explores the intriguing implications and possibilities of the great deal that remains unknown. The hallmark features of previous editions continue in the Fourth Edition. The book is designed with a clean and open, single-column layout. The art program maintains a completely consistent format and style, and includes over 1,600 photographs, electron micrographs, and original drawings by the authors. Clear and concise concept headings introduce each section. Every chapter contains extensive references. Most important, every chapter has been subjected to a rigorous, collaborative revision process where, in addition to incorporating comments from expert reviewers, each co-author reads and reviews the other authors' prose. The result is a truly integrated work with a single authorial voice. Features : - Places the latest hot topics sensibly in context - including genomics, protein structure, array technology, stem cells and genetics diseases. - Incorporates and emphasises new genomic data. - All of molecular biology is brought together into one section (chapters 4-7) covering classically defined molecular biology and molecular genetics. - Two chapters deal exclusively with methods and contain information on the latest tools and techniques. - New chapters on "Pathogens, Infection, and Innate Immunity". - Cell Biology Interactive CD-ROM is packaged with every copy of the book. - Contains over 1,600 illustrations, electron micrographs and photographs, of which over 1,000 are originally conceived by the authors.

Geometry, Relativity and the Fourth Dimension


Rudolf Rucker - 1977
    A remarkable pictorial discussion of the curved space-time we call home, it achieves even greater impact through the use of 141 excellent illustrations. This is the first sustained visual account of many important topics in relativity theory that up till now have only been treated separately.Finding a perfect analogy in the situation of the geometrical characters in Flatland, Professor Rucker continues the adventures of the two-dimensional world visited by a three-dimensional being to explain our three-dimensional world in terms of the fourth dimension. Following this adventure into the fourth dimension, the author discusses non-Euclidean geometry, curved space, time as a higher dimension, special relativity, time travel, and the shape of space-time. The mathematics is sound throughout, but the casual reader may skip those few sections that seem too purely mathematical and still follow the line of argument. Readable and interesting in itself, the annotated bibliography is a valuable guide to further study.Professor Rucker teaches mathematics at the State University of New York in Geneseo. Students and laymen will find his discussion to be unusually stimulating. Experienced mathematicians and physicists will find a great deal of original material here and many unexpected novelties. Annotated bibliography. 44 problems.

This Explains Everything: Deep, Beautiful, and Elegant Theories of How the World Works


John BrockmanSean Carroll - 2013
    Why do we recognize patterns? Is there such a thing as positive stress? Are we genetically programmed to be in conflict with each other? Those are just some of the 150 questions that the world's best scientific minds answer with elegant simplicity.With contributions from Jared Diamond, Richard Dawkins, Nassim Taleb, Brian Eno, Steven Pinker, and more, everything is explained in fun, uncomplicated terms that make the most complex concepts easy to comprehend.

God Created the Integers: The Mathematical Breakthroughs That Changed History


Stephen Hawking - 2005
    In this collection of landmark mathematical works, editor Stephen Hawking has assembled the greatest feats humans have ever accomplished using just numbers and their brains.

Linear Algebra Done Right


Sheldon Axler - 1995
    The novel approach taken here banishes determinants to the end of the book and focuses on the central goal of linear algebra: understanding the structure of linear operators on vector spaces. The author has taken unusual care to motivate concepts and to simplify proofs. For example, the book presents - without having defined determinants - a clean proof that every linear operator on a finite-dimensional complex vector space (or an odd-dimensional real vector space) has an eigenvalue. A variety of interesting exercises in each chapter helps students understand and manipulate the objects of linear algebra. This second edition includes a new section on orthogonal projections and minimization problems. The sections on self-adjoint operators, normal operators, and the spectral theorem have been rewritten. New examples and new exercises have been added, several proofs have been simplified, and hundreds of minor improvements have been made throughout the text.

Where Does The Weirdness Go?: Why Quantum Mechanics Is Strange, But Not As Strange As You Think


David Lindley - 1996
    Everyday experience cannot prepare us for the sub-atomic world, where quantum effects become all-important. Here, particles can look like waves, and vice versa; electrons seem to lose their identity and instead take on a shifting, unpredictable appearance that depends on how they are being observed; and a single photon may sometimes behave as if it could be in two places at once. In the world of quantum mechanics, uncertainty and ambiguity become not just unavoidable, but essential ingredients of science -- a development so disturbing that to Einstein "it was as if God were playing dice with the universe." And there is no one better able to explain the quantum revolution as it approaches the century mark than David Lindley. He brings the quantum revolution full circle, showing how the familiar and trustworthy reality of the world around us is actually a consequence of the ineffable uncertainty of the subatomic quantum world -- the world we can't see.