Introduction to Logic: and to the Methodology of Deductive Sciences


Alfred Tarski - 1993
    According to the author, these trends sought to create a unified conceptual apparatus as a common basis for the whole of human knowledge.Because these new developments in logical thought tended to perfect and sharpen the deductive method, an indispensable tool in many fields for deriving conclusions from accepted assumptions, the author decided to widen the scope of the work. In subsequent editions he revised the book to make it also a text on which to base an elementary college course in logic and the methodology of deductive sciences. It is this revised edition that is reprinted here.Part One deals with elements of logic and the deductive method, including the use of variables, sentential calculus, theory of identity, theory of classes, theory of relations and the deductive method. The Second Part covers applications of logic and methodology in constructing mathematical theories, including laws of order for numbers, laws of addition and subtraction, methodological considerations on the constructed theory, foundations of arithmetic of real numbers, and more. The author has provided numerous exercises to help students assimilate the material, which not only provides a stimulating and thought-provoking introduction to the fundamentals of logical thought, but is the perfect adjunct to courses in logic and the foundation of mathematics.

A Student's Guide to Maxwell's Equations


Daniel Fleisch - 2007
    In this guide for students, each equation is the subject of an entire chapter, with detailed, plain-language explanations of the physical meaning of each symbol in the equation, for both the integral and differential forms. The final chapter shows how Maxwell's equations may be combined to produce the wave equation, the basis for the electromagnetic theory of light. This book is a wonderful resource for undergraduate and graduate courses in electromagnetism and electromagnetics. A website hosted by the author at www.cambridge.org/9780521701471 contains interactive solutions to every problem in the text as well as audio podcasts to walk students through each chapter.

Remarks on the Foundations of Mathematics


Ludwig Wittgenstein - 1956
    It was his feeling that a proper analysis of the use of language would clarify concepts and lead to the solution of (what seem to be) philosophical problems.Sometimes, Wittgenstein's expository method is pre-Socratic: a flow of disconnected statements, not unlike Heraclitean fragments, that range from clear aphorisms to cryptic oracles. Elsewhere, there are brief Socratic dialogues with imaginary persons, opponents of equally severe seriousness, representatives of the other half of Wittgenstein strove for total clarity of language as a means of solving philosophical problems, but some of his most meaningful statements here are expressed suggestively, subjectively, poetically.

Naive Set Theory


Paul R. Halmos - 1960
    This book contains my answer to that question. The purpose of the book is to tell the beginning student of advanced mathematics the basic set- theoretic facts of life, and to do so with the minimum of philosophical discourse and logical formalism. The point of view throughout is that of a prospective mathematician anxious to study groups, or integrals, or manifolds. From this point of view the concepts and methods of this book are merely some of the standard mathematical tools; the expert specialist will find nothing new here. Scholarly bibliographical credits and references are out of place in a purely expository book such as this one. The student who gets interested in set theory for its own sake should know, however, that there is much more to the subject than there is in this book. One of the most beautiful sources of set-theoretic wisdom is still Hausdorff's Set theory. A recent and highly readable addition to the literature, with an extensive and up-to-date bibliography, is Axiomatic set theory by Suppes.

Inorganic Chemistry


Catherine E. Housecroft - 2001
    It offers superior coverage of all key areas, including descriptive chemistry, MO theory, bonding, and physical inorganic chemistry. Chapter topics are presented in logical order and include: basic concepts; nuclear properties; an introduction to molecular symmetry; bonding in polyatomic molecules; structures and energetics of metallic and ionic solids; acids, bases, and ions in aqueous solution; reduction and oxidation; non-aqueous media; and hydrogen. Four special topic chapters, chosen for their currency and interest, conclude the book. For researchers seeking the latest information in the field of inorganic chemistry.

The Fabulous Fibonacci Numbers


Alfred S. Posamentier - 2007
    In this simple pattern beginning with two ones, each succeeding number is the sum of the two numbers immediately preceding it (1, 1, 2, 3, 5, 8, 13, 21, ad infinitum). Far from being just a curiosity, this sequence recurs in structures found throughout nature - from the arrangement of whorls on a pinecone to the branches of certain plant stems. All of which is astounding evidence for the deep mathematical basis of the natural world. With admirable clarity, two veteran math educators take us on a fascinating tour of the many ramifications of the Fibonacci numbers. They begin with a brief history of a distinguished Italian discoverer, who, among other accomplishments, was responsible for popularizing the use of Arabic numerals in the West. Turning to botany, the authors demonstrate, through illustrative diagrams, the unbelievable connections between Fibonacci numbers and natural forms (pineapples, sunflowers, and daisies are just a few examples). In art, architecture, the stock market, and other areas of society and culture, they point out numerous examples of the Fibonacci sequence as well as its derivative, the "golden ratio." And of course in mathematics, as the authors amply demonstrate, there are almost boundless applications in probability, number theory, geometry, algebra, and Pascal's triangle, to name a few.Accessible and appealing to even the most math-phobic individual, this fun and enlightening book allows the reader to appreciate the elegance of mathematics and its amazing applications in both natural and cultural settings.

Mathematics: From the Birth of Numbers


Jan Gullberg - 1997
    The book is unique among popular books on mathematics in combining an engaging, easy-to-read history of the subject with a comprehensive mathematical survey text. Intended, in the author's words, "for the benefit of those who never studied the subject, those who think they have forgotten what they once learned, or those with a sincere desire for more knowledge," it links mathematics to the humanities, linguistics, the natural sciences, and technology.Contains more than 1000 original technical illustrations, a multitude of reproductions from mathematical classics and other relevant works, and a generous sprinkling of humorous asides, ranging from limericks and tall stories to cartoons and decorative drawings.

Numerical Optimization


Jorge Nocedal - 2000
    One can trace its roots to the Calculus of Variations and the work of Euler and Lagrange. This natural and reasonable approach to mathematical programming covers numerical methods for finite-dimensional optimization problems. It begins with very simple ideas progressing through more complicated concepts, concentrating on methods for both unconstrained and constrained optimization.

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

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.

Islamic Design: A Genius for Geometry


Daud Sutton - 2007
    Harmony is central. There are two key aspects to the visual structure of Islamic design, calligraphy using Arabic script-one of the world's great calligraphic traditions-and abstract ornamentation using a varied but remarkably integrated visual language. This art of pure ornament revolves around two central themes; crystalline geometric patterns, the harmonic and symmetrical subdivision of the plane giving rise to intricately interwoven designs that speak of infinity and the omnipresent center; and idealized plant form, spiraling tendrils, leaves, buds and flowers embodying organic life and rhythm.1. WIDE APPEAL: Anyone interested in science, mathematics, design, architecture, and the natural world.2. AUTHORITATIVE: A compelling blend of scholarship and visual presentation, packs an enormous amount of information into a short space.3. BEAUTIFUL PACKAGE: A bargain at $10.00. Winner of First Prize for Nonfiction at the New York Book Show4. SERIES PURPOSE: All are aimed at bringing ancient wisdom forward into the 21st century.5. INSPIRING: The perfect entrée into a challenging topic; will inspire other reading.

Origami Design Secrets: Mathematical Methods for an Ancient Art


Robert J. Lang - 2003
    Lang, one of the worlds foremost origami artists and scientists, presents the never-before-described mathematical and geometric principles that allow anyone to design original origami, something once restricted to an elite few. From the theoretical underpinnings to detailed step-by-step folding sequences, this book takes a modern look at the centuries-old art of origami.

On Formally Undecidable Propositions of Principia Mathematica and Related Systems


Kurt Gödel - 1992
    Kurt Giidel maintained, and offered detailed proof, that in any arithmetic system, even in elementary parts of arithmetic, there are propositions which cannot be proved or disproved within the system. It is thus uncertain that the basic axioms of arithmetic will not give rise to contradictions. The repercussions of this discovery are still being felt and debated in 20th-century mathematics.The present volume reprints the first English translation of Giidel's far-reaching work. Not only does it make the argument more intelligible, but the introduction contributed by Professor R. B. Braithwaite (Cambridge University}, an excellent work of scholarship in its own right, illuminates it by paraphrasing the major part of the argument.This Dover edition thus makes widely available a superb edition of a classic work of original thought, one that will be of profound interest to mathematicians, logicians and anyone interested in the history of attempts to establish axioms that would provide a rigorous basis for all mathematics. Translated by B. Meltzer, University of Edinburgh. Preface. Introduction by R. B. Braithwaite.

Statistical Inference


George Casella - 2001
    Starting from the basics of probability, the authors develop the theory of statistical inference using techniques, definitions, and concepts that are statistical and are natural extensions and consequences of previous concepts. This book can be used for readers who have a solid mathematics background. It can also be used in a way that stresses the more practical uses of statistical theory, being more concerned with understanding basic statistical concepts and deriving reasonable statistical procedures for a variety of situations, and less concerned with formal optimality investigations.

Game Theory


Drew Fudenberg - 1991
    The analytic material is accompanied by many applications, examples, and exercises. The theory of noncooperative games studies the behavior of agents in any situation where each agent's optimal choice may depend on a forecast of the opponents' choices. "Noncooperative" refers to choices that are based on the participant's perceived selfinterest. Although game theory has been applied to many fields, Fudenberg and Tirole focus on the kinds of game theory that have been most useful in the study of economic problems. They also include some applications to political science. The fourteen chapters are grouped in parts that cover static games of complete information, dynamic games of complete information, static games of incomplete information, dynamic games of incomplete information, and advanced topics.--mitpress.mit.edu