This text is a basic introduction to those areas of discrete mathematics used by stu dents of mathematics and computer science.

Covering basic propositional and predicate logic as well as discussing axiom systems and formal proofs, the book seeks to explain what mathematicians understand by proofs and how they are communicated.

Throughout the book, students practice key facets of modeling, including creative and empirical model construction, model analysis, and model research.

The text contains many problems and solutions, permitting the reader to apply the theorems and to see concrete developments of the abstract theory.

THE PRINCETON REVIEW GETS RESULTS. Get extra preparation for an excellent AP Calculus AB & BC score with 550 extra practice questions and answers.

New to the Fourth Edition Two new chapters that serve as an introduction to abstract algebra via the theory of groups, covering abstract reasoning as well as many examples and applications New material on inequalities, counting methods, the ...

Collection of the most interesting recent writings on the philosophy of mathematics written by highly respected researchers from philosophy, mathematics, physics, and chemistry Interdisciplinary book that will be useful in several ...

Derived from the author's course on the subject, Elements of Differential Topology explores the vast and elegant theories in topology developed by Morse, Thom, Smale, Whitney, Milnor, and others.

The first contemporary textbook on ordinary differential equations (ODEs) to include instructions on MATLAB, Mathematica, and Maple A Course in Ordinary Differential Equations focuses on applications and methods of analytical and numerical ...