Computability and Logic


George S. Boolos - 1980
    Including a selection of exercises, adjusted for this edition, at the end of each chapter, it offers a new and simpler treatment of the representability of recursive functions, a traditional stumbling block for students on the way to the Godel incompleteness theorems.

Classical Mechanics


Herbert Goldstein - 1950
    KEY TOPICS: This classic book enables readers to make connections between classical and modern physics - an indispensable part of a physicist's education. In this new edition, Beams Medal winner Charles Poole and John Safko have updated the book to include the latest topics, applications, and notation, to reflect today's physics curriculum. They introduce readers to the increasingly important role that nonlinearities play in contemporary applications of classical mechanics. New numerical exercises help readers to develop skills in how to use computer techniques to solve problems in physics. Mathematical techniques are presented in detail so that the book remains fully accessible to readers who have not had an intermediate course in classical mechanics. MARKET: For college instructors and students.

The Grapes of Math: How Life Reflects Numbers and Numbers Reflect Life


Alex Bellos - 2014
    He sifts through over 30,000 survey submissions to uncover the world’s favourite number, and meets a mathematician who looks for universes in his garage. He attends the World Mathematical Congress in India, and visits the engineer who designed the first roller-coaster loop. Get hooked on math as Alex delves deep into humankind’s turbulent relationship with numbers, and reveals how they have shaped the world we live in.

Computers and Intractability: A Guide to the Theory of NP-Completeness


Michael R. Garey - 1979
    Johnson. It was the first book exclusively on the theory of NP-completeness and computational intractability. The book features an appendix providing a thorough compendium of NP-complete problems (which was updated in later printings of the book). The book is now outdated in some respects as it does not cover more recent development such as the PCP theorem. It is nevertheless still in print and is regarded as a classic: in a 2006 study, the CiteSeer search engine listed the book as the most cited reference in computer science literature.

Electronic Principles


Albert Paul Malvino - 1979
    It's been updated to keep coverage in step with the fast-changing world of electronics. Yet, it retains Malvino's clear writing style, supported throughout by abundant illustrations and examples.

Numerical Recipes in C: The Art of Scientific Computing


William H. Press - 1988
    In a self-contained manner it proceeds from mathematical and theoretical considerations to actual practical computer routines. With over 100 new routines bringing the total to well over 300, plus upgraded versions of the original routines, the new edition remains the most practical, comprehensive handbook of scientific computing available today.

The Math of Life and Death: 7 Mathematical Principles That Shape Our Lives


Kit Yates - 2019
    But for those of us who left math behind in high school, the numbers and figures hurled at us as we go about our days can sometimes leave us scratching our heads and feeling as if we’re fumbling through a mathematical minefield. In this eye-opening and extraordinarily accessible book, mathemati­cian Kit Yates illuminates hidden principles that can help us understand and navigate the chaotic and often opaque surfaces of our world. In The Math of Life and Death, Yates takes us on a fascinating tour of everyday situations and grand-scale applications of mathematical concepts, including exponential growth and decay, optimization, statistics and probability, and number systems. Along the way he reveals the mathematical undersides of controversies over DNA testing, medical screening results, and historical events such as the Chernobyl disaster and the Amanda Knox trial. Readers will finish this book with an enlightened perspective on the news, the law, medicine, and history, and will be better equipped to make personal decisions and solve problems with math in mind, whether it’s choosing the shortest checkout line at the grocery store or halting the spread of a deadly disease.

An Introduction to Systems Biology: Design Principles of Biological Circuits


Uri Alon - 2006
    It provides a simple mathematical framework which can be used to understand and even design biological circuits. The textavoids specialist terms, focusing instead on several well-studied biological systems that concisely demonstrate key principles. An Introduction to Systems Biology: Design Principles of Biological Circuits builds a solid foundation for the intuitive understanding of general principles. It encourages the reader to ask why a system is designed in a particular way and then proceeds to answer with simplified models.

A Discipline of Programming


Edsger W. Dijkstra - 1976
    

Discovering Statistics Using R


Andy Field - 2012
    Like its sister textbook, Discovering Statistics Using R is written in an irreverent style and follows the same ground-breaking structure and pedagogical approach. The core material is enhanced by a cast of characters to help the reader on their way, hundreds of examples, self-assessment tests to consolidate knowledge, and additional website material for those wanting to learn more.

Calculus


Dale E. Varberg - 1999
    Covering various the materials needed by students in engineering, science, and mathematics, this calculus text makes effective use of computing technology, graphics, and applications. It presents at least two technology projects in each chapter.

The Math Book: From Pythagoras to the 57th Dimension, 250 Milestones in the History of Mathematics


Clifford A. Pickover - 2009
    Beginning millions of years ago with ancient “ant odometers” and moving through time to our modern-day quest for new dimensions, it covers 250 milestones in mathematical history. Among the numerous delights readers will learn about as they dip into this inviting anthology: cicada-generated prime numbers, magic squares from centuries ago, the discovery of pi and calculus, and the butterfly effect. Each topic gets a lavishly illustrated spread with stunning color art, along with formulas and concepts, fascinating facts about scientists’ lives, and real-world applications of the theorems.

Introduction to Algorithms: A Creative Approach


Udi Manber - 1989
    The heart of this creative process lies in an analogy between proving mathematical theorems by induction and designing combinatorial algorithms. The book contains hundreds of problems and examples. It is designed to enhance the reader's problem-solving abilities and understanding of the principles behind algorithm design.

A Mathematical Introduction to Logic


Herbert B. Enderton - 1972
    The author has made this edition more accessible to better meet the needs of today's undergraduate mathematics and philosophy students. It is intended for the reader who has not studied logic previously, but who has some experience in mathematical reasoning. Material is presented on computer science issues such as computational complexity and database queries, with additional coverage of introductory material such as sets.

The R Book


Michael J. Crawley - 2007
    The R language is recognised as one of the most powerful and flexible statistical software packages, and it enables the user to apply many statistical techniques that would be impossible without such software to help implement such large data sets.