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.

What Is Mathematics?: An Elementary Approach to Ideas and Methods


Richard Courant - 1941
    Today, unfortunately, the traditional place of mathematics in education is in grave danger. The teaching and learning of mathematics has degenerated into the realm of rote memorization, the outcome of which leads to satisfactory formal ability but does not lead to real understanding or to greater intellectual independence. This new edition of Richard Courant's and Herbert Robbins's classic work seeks to address this problem. Its goal is to put the meaning back into mathematics.Written for beginners and scholars, for students and teachers, for philosophers and engineers, What is Mathematics? Second Edition is a sparkling collection of mathematical gems that offers an entertaining and accessible portrait of the mathematical world. Covering everything from natural numbers and the number system to geometrical constructions and projective geometry, from topology and calculus to matters of principle and the Continuum Hypothesis, this fascinating survey allows readers to delve into mathematics as an organic whole rather than an empty drill in problem solving. With chapters largely independent of one another and sections that lead upward from basic to more advanced discussions, readers can easily pick and choose areas of particular interest without impairing their understanding of subsequent parts.Brought up to date with a new chapter by Ian Stewart, What is Mathematics? Second Edition offers new insights into recent mathematical developments and describes proofs of the Four-Color Theorem and Fermat's Last Theorem, problems that were still open when Courant and Robbins wrote this masterpiece, but ones that have since been solved.Formal mathematics is like spelling and grammar - a matter of the correct application of local rules. Meaningful mathematics is like journalism - it tells an interesting story. But unlike some journalism, the story has to be true. The best mathematics is like literature - it brings a story to life before your eyes and involves you in it, intellectually and emotionally. What is Mathematics is like a fine piece of literature - it opens a window onto the world of mathematics for anyone interested to view.

Being Logical: A Guide to Good Thinking


Dennis Q. McInerny - 2004
    Indeed, logic goes to the very core of what we mean by human intelligence. In this concise, crisply readable book, distinguished professor D. Q. McInerny offers an indispensable guide to using logic to advantage in everyday life. Written explicitly for the layperson, McInerny’s Being Logical promises to take its place beside Strunk and White’s The Elements of Style as a classic of lucid, invaluable advice. As McInerny notes, logic is a deep, wide, and wonderfully varied field, with a bearing on every aspect of our intellectual life. A mastery of logic begins with an understanding of right reasoning–and encompasses a grasp of the close kinship between logical thought and logical expression, a knowledge of the basic terms of argument, and a familiarity with the pitfalls of illogical thinking. Accordingly, McInerny structures his book in a series of brief, penetrating chapters that build on one another to form a unified and coherent introduction to clear and effective reasoning.At the heart of the book is a brilliant consideration of argument–how an argument is founded and elaborated, how it differs from other forms of intellectual discourse, and how it critically embodies the elements of logic. McInerny teases out the subtleties and complexities of premises and conclusions, differentiates statements of fact from statements of value, and discusses the principles and uses of every major type of argument, from the syllogistic to the conditional. In addition, he provides an incisive look at illogical thinking and explains how to recognize and avoid the most common errors of logic.Elegant, pithy, and precise, Being Logical breaks logic down to its essentials through clear analysis, accessible examples, and focused insights. Whether you are a student or a teacher, a professional sharpening your career skills or an amateur devoted to the fine points of thought and expression, you are sure to find this brief guide to effecting reasoning both fascinating and illuminating.From the Hardcover edition.

Quantum Computing Since Democritus


Scott Aaronson - 2013
    Full of insights, arguments and philosophical perspectives, the book covers an amazing array of topics. Beginning in antiquity with Democritus, it progresses through logic and set theory, computability and complexity theory, quantum computing, cryptography, the information content of quantum states and the interpretation of quantum mechanics. There are also extended discussions about time travel, Newcomb's Paradox, the anthropic principle and the views of Roger Penrose. Aaronson's informal style makes this fascinating book accessible to readers with scientific backgrounds, as well as students and researchers working in physics, computer science, mathematics and philosophy.

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

A Survey of Metaphysics


E.J. Lowe - 2002
    It adopts the fairly traditional conception of metaphysics as a subject that deals with the deepest questions that can be raised concerning the fundamental structure ofreality as a whole. The book is divided into six main sections that address the following themes: identity and change, necessity and essence, causation, agency and events, space and time, and universals and particulars. It focuses on contemporary views and issues throughout, rather than on thehistory of metaphysics.

Game Theory 101: The Basics


William Spaniel - 2011
    From the first lesson to the last, each chapter introduces games of increasing complexity and then teaches the game theoretical tools necessary to solve them. Inside, you will find: All the basics fully explained, including pure strategy Nash equilibrium, mixed strategy Nash equilibrium, the mixed strategy algorithm, how to calculate payoffs, strict dominance, weak dominance, iterated elimination of strictly dominated strategies, iterated elimination of weakly dominated strategies, and more! Dozens of games solved, including the prisoner's dilemma, stag hunt, matching pennies, zero sum games, battle of the sexes/Bach or Stravinsky, chicken/snowdrift, pure coordination, deadlock, and safety in numbers! Crystal clear, line-by-line calculations of every step, with more than 200 images so you don't miss a thing! Tons of applications: war, trade, game shows, and duopolistic competition. Quick, efficient, and to the point, Game Theory 101: The Basics is perfect for introductory game theory, intermediate microeconomics, and political science.

Introduction to Linear Algebra


Gilbert Strang - 1993
    Topics covered include matrix multiplication, row reduction, matrix inverse, orthogonality and computation. The self-teaching book is loaded with examples and graphics and provides a wide array of probing problems, accompanying solutions, and a glossary. Chapter 1: Introduction to Vectors; Chapter 2: Solving Linear Equations; Chapter 3: Vector Spaces and Subspaces; Chapter 4: Orthogonality; Chapter 5: Determinants; Chapter 6: Eigenvalues and Eigenvectors; Chapter 7: Linear Transformations; Chapter 8: Applications; Chapter 9: Numerical Linear Algebra; Chapter 10: Complex Vectors and Matrices; Solutions to Selected Exercises; Final Exam. Matrix Factorizations. Conceptual Questions for Review. Glossary: A Dictionary for Linear Algebra Index Teaching Codes Linear Algebra in a Nutshell.

Just the Arguments: 100 of the Most Important Arguments in Western Philosophy


Michael Bruce - 2011
    Philosophy starts with questions, but attempts at answers are just as important, and these answers require reasoned argument. Cutting through dense philosophical prose, 100 famous and influential arguments are presented in their essence, with premises, conclusions and logical form plainly identified. Key quotations provide a sense of style and approach. Just the Arguments is an invaluable one-stop argument shop. A concise, formally structured summation of 100 of the most important arguments in Western philosophy The first book of its kind to present the most important and influential philosophical arguments in a clear premise/conclusion format, the language that philosophers use and students are expected to know Offers succinct expositions of key philosophical arguments without bogging them down in commentary Translates difficult texts to core arguments Designed to provides a quick and compact reference to everything from Aquinas' "Five Ways" to prove the existence of God, to the metaphysical possibilities of a zombie world

Euclid's Elements


Euclid
    Heath's translation of the thirteen books of Euclid's Elements. In keeping with Green Lion's design commitment, diagrams have been placed on every spread for convenient reference while working through the proofs; running heads on every page indicate both Euclid's book number and proposition numbers for that page; and adequate space for notes is allowed between propositions and around diagrams. The all-new index has built into it a glossary of Euclid's Greek terms.Heath's translation has stood the test of time, and, as one done by a renowned scholar of ancient mathematics, it can be relied upon not to have inadvertantly introduced modern concepts or nomenclature. We have excised the voluminous historical and scholarly commentary that swells the Dover edition to three volumes and impedes classroom use of the original text. The single volume is not only more convenient, but less expensive as well.

Mostly Harmless Econometrics: An Empiricist's Companion


Joshua D. Angrist - 2008
    In the modern experimentalist paradigm, these techniques address clear causal questions such as: Do smaller classes increase learning? Should wife batterers be arrested? How much does education raise wages? Mostly Harmless Econometrics shows how the basic tools of applied econometrics allow the data to speak.In addition to econometric essentials, Mostly Harmless Econometrics covers important new extensions--regression-discontinuity designs and quantile regression--as well as how to get standard errors right. Joshua Angrist and Jorn-Steffen Pischke explain why fancier econometric techniques are typically unnecessary and even dangerous. The applied econometric methods emphasized in this book are easy to use and relevant for many areas of contemporary social science.An irreverent review of econometric essentials A focus on tools that applied researchers use most Chapters on regression-discontinuity designs, quantile regression, and standard errors Many empirical examples A clear and concise resource with wide applications

Theory and Reality: An Introduction to the Philosophy of Science


Peter Godfrey-Smith - 2003
    The result is a completely accessible introduction to the main themes of the philosophy of science. Intended for undergraduates and general readers with no prior background in philosophy, Theory and Reality covers logical positivism; the problems of induction and confirmation; Karl Popper's theory of science; Thomas Kuhn and "scientific revolutions"; the views of Imre Lakatos, Larry Laudan, and Paul Feyerabend; and challenges to the field from sociology of science, feminism, and science studies. The book then looks in more detail at some specific problems and theories, including scientific realism, the theory-ladeness of observation, scientific explanation, and Bayesianism. Finally, Godfrey-Smith defends a form of philosophical naturalism as the best way to solve the main problems in the field. Throughout the text he points out connections between philosophical debates and wider discussions about science in recent decades, such as the infamous "science wars." Examples and asides engage the beginning student; a glossary of terms explains key concepts; and suggestions for further reading are included at the end of each chapter. However, this is a textbook that doesn't feel like a textbook because it captures the historical drama of changes in how science has been conceived over the last one hundred years.Like no other text in this field, Theory and Reality combines a survey of recent history of the philosophy of science with current key debates in language that any beginning scholar or critical reader can follow.

Single Variable Calculus


James Stewart - 1991
    Stewart's Calculus is successful throughout the world because he explains the material in a way that makes sense to a wide variety of readers. His explanations make ideas come alive, and his problems challenge, to reveal the beauty of calculus. Stewart's examples stand out because they are not just models for problem solving or a means of demonstrating techniques--they also encourage readers to develp an analytic view of the subject. This edition includes new problems, examples, and projects.

What Does It All Mean? A Very Short Introduction to Philosophy


Thomas Nagel - 1987
    Arguing that the best way to learn about philosophy is to think about itsquestions directly, Thomas Nagel considers possible solutions to nine problems--knowledge of the world beyond our minds, knowledge of other minds, the mind-body problem, free will, the basis of morality, right and wrong, the nature of death, the meaning of life, and the meaning of words. Althoughhe states his own opinions clearly, Nagel leaves these fundamental questions open, allowing students to entertain other solutions and encouraging them to think for themselves.

Calculus [with CD]


Howard Anton - 1992
    New co-authors--Irl Bivens and Stephen Davis--from Davidson College; both distinguished educators and writers.* More emphasis on graphing calculators in exercises and examples, including CAS capabilities of graphing calculators.* More problems using tabular data and more emphasis on mathematical modeling.