The Annotated Turing: A Guided Tour Through Alan Turing's Historic Paper on Computability and the Turing Machine


Charles Petzold - 2008
    Turing Mathematician Alan Turing invented an imaginary computer known as the Turing Machine; in an age before computers, he explored the concept of what it meant to be "computable," creating the field of computability theory in the process, a foundation of present-day computer programming.The book expands Turing's original 36-page paper with additional background chapters and extensive annotations; the author elaborates on and clarifies many of Turing's statements, making the original difficult-to-read document accessible to present day programmers, computer science majors, math geeks, and others.Interwoven into the narrative are the highlights of Turing's own life: his years at Cambridge and Princeton, his secret work in cryptanalysis during World War II, his involvement in seminal computer projects, his speculations about artificial intelligence, his arrest and prosecution for the crime of "gross indecency," and his early death by apparent suicide at the age of 41.

CRC Handbook of Chemistry and Physics


David R. Lide - 1984
    This edition contains NEW tables on Properties of Ionic Liquids, Solubilities of Hydrocarbons in Sea Water, Solubility of Organic Compounds in Superheated Water, and Nutritive Value of Foods. It also updates many tables including Critical Constants, Heats of Vaporization, Aqueous Solubility of Organic Compounds, Vapor Pressure of Mercury, Scientific Abbreviations and Symbols, and Bond Dissociation Energies. The 88th Edition also presents a new Foreword written by Dr. Harold Kroto, a 1996 Nobel Laureate in Chemistry.

Complex Variables and Applications


James Ward Brown - 1960
    It uses examples and exercise sets, with clear explanations of problem-solving techniqes and material on the further theory of functions.

Digital Communications


John G. Proakis - 1983
    Includes expert coverage of new topics: Turbocodes, Turboequalization, Antenna Arrays, Digital Cellular Systems, and Iterative Detection. Convenient, sequential organization begins with a look at the historyo and classification of channel models and builds from there.

Algebra


Michael Artin - 1991
    Linear algebra is tightly integrated into the text.

Calculus with Analytic Geometry


Earl W. Swokowski - 1979
    

How to Prove It: A Structured Approach


Daniel J. Velleman - 1994
    The book begins with the basic concepts of logic and set theory, to familiarize students with the language of mathematics and how it is interpreted. These concepts are used as the basis for a step-by-step breakdown of the most important techniques used in constructing proofs. To help students construct their own proofs, this new edition contains over 200 new exercises, selected solutions, and an introduction to Proof Designer software. No background beyond standard high school mathematics is assumed. Previous Edition Hb (1994) 0-521-44116-1 Previous Edition Pb (1994) 0-521-44663-5

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.

Chaos and Fractals: New Frontiers of Science


Heinz-Otto Peitgen - 1992
    At the time we were hoping that our approach of writing a book which would be both accessible without mathematical sophistication and portray these exiting new fields in an authentic manner would find an audience. Now we know it did. We know from many reviews and personal letters that the book is used in a wide range of ways: researchers use it to acquaint themselves, teachers use it in college and university courses, students use it for background reading, and there is also a substantial audience of lay people who just want to know what chaos and fractals are about. Every book that is somewhat technical in nature is likely to have a number of misprints and errors in its first edition. Some of these were caught and brought to our attention by our readers. One of them, Hermann Flaschka, deserves to be thanked in particular for his suggestions and improvements. This second edition has several changes. We have taken out the two appendices from the firstedition. At the time of the first edition Yuval Fishers contribution, which we published as an appendix was probably the first complete expository account on fractal image compression. Meanwhile, Yuvals book Fractal Image Compression: Theory and Application appeared and is now the publication to refer to.

The Colossal Book of Short Puzzles and Problems


Martin Gardner - 2005
    His yearly gatherings of short and inventive problems were easily his most anticipated math columns. Loyal readers would savor the wit and elegance of his explorations in physics, probability, topology, and chess, among others. Grouped by subject and arrayed from easiest to hardest, the puzzles gathered here, which complement the lengthier, more involved problems in The Colossal Book of Mathematics, have been selected by Gardner for their illuminating; and often bewildering; solutions. Filled with over 300 illustrations, this new volume even contains nine new mathematical gems that Gardner, now ninety, has been gathering for the last decade. No amateur or expert math lover should be without this indispensable volume; a capstone to Gardner's seventy-year career.

Combinatorial Optimization: Algorithms and Complexity


Christos H. Papadimitriou - 1998
    All chapters are supplemented by thought-provoking problems. A useful work for graduate-level students with backgrounds in computer science, operations research, and electrical engineering. "Mathematicians wishing a self-contained introduction need look no further." — American Mathematical Monthly.

The Millennium Problems


Keith Devlin - 2002
    For mathematicians, physicists, engineers, and everyone else with an interest in mathematics' cutting edge, The Millennium Problems is the definitive account of a subject that will have a very long shelf life.

Introductory Quantum Mechanics


Richard L. Liboff - 1980
    Included in this edition is a new chapter on the revolutionary topic of quantum computing.

Gravitation


Charles W. Misner - 1973
    These sections together make an appropriate one-term advanced/graduate level course (mathematical prerequisites: vector analysis and simple partial-differential equations). The book is printed to make it easy for readers to identify these sections.• The remaining Track 2 material provides a wealth of advanced topics instructors can draw from to flesh out a two-term course, with Track 1 sections serving as prerequisites.

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