Logic in Elementary Mathematics
This applications-related introductory treatment explores facets of modern symbolic logic useful in the exposition of elementary mathematics. The authors convey the material in a manner accessible to those trained in standard elementary mathematics but lacking any formal background in logic.
Topics include the statement calculus, proof and demonstration, abstract mathematical systems, and the restricted predicate calculus. The final chapter draws upon the methods of logical reasoning covered in previous chapters to develop solutions of linear and quadratic equations, definitions of order and absolute value, and other applications. Numerous examples and exercises aid in the mastery of the language of logic.
1101370735
Logic in Elementary Mathematics
This applications-related introductory treatment explores facets of modern symbolic logic useful in the exposition of elementary mathematics. The authors convey the material in a manner accessible to those trained in standard elementary mathematics but lacking any formal background in logic.
Topics include the statement calculus, proof and demonstration, abstract mathematical systems, and the restricted predicate calculus. The final chapter draws upon the methods of logical reasoning covered in previous chapters to develop solutions of linear and quadratic equations, definitions of order and absolute value, and other applications. Numerous examples and exercises aid in the mastery of the language of logic.
19.95 In Stock
Logic in Elementary Mathematics

Logic in Elementary Mathematics

Logic in Elementary Mathematics

Logic in Elementary Mathematics

eBook

$19.95 

Available on Compatible NOOK devices, the free NOOK App and in My Digital Library.
WANT A NOOK?  Explore Now

Related collections and offers

LEND ME® See Details

Overview

This applications-related introductory treatment explores facets of modern symbolic logic useful in the exposition of elementary mathematics. The authors convey the material in a manner accessible to those trained in standard elementary mathematics but lacking any formal background in logic.
Topics include the statement calculus, proof and demonstration, abstract mathematical systems, and the restricted predicate calculus. The final chapter draws upon the methods of logical reasoning covered in previous chapters to develop solutions of linear and quadratic equations, definitions of order and absolute value, and other applications. Numerous examples and exercises aid in the mastery of the language of logic.

Product Details

ISBN-13: 9780486264226
Publisher: Dover Publications
Publication date: 05/19/2011
Series: Dover Books on Mathematics
Sold by: Barnes & Noble
Format: eBook
Pages: 288
File size: 14 MB
Note: This product may take a few minutes to download.

Table of Contents

PrefaceGlossary of Special Symbols and AbbreviationsI. Mathematics, Formal logic, and NamesII. The Statement CalculusIII. Proof and DemonstrationIV. Abstract Mathematical SystemsV. The Restricted Predicate CalculusVI. Applications of Logic in MathematicsAppendixIndex
From the B&N Reads Blog

Customer Reviews