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

Paperback(Unabridged)

$19.95 
  • SHIP THIS ITEM
    In stock. Ships in 1-2 days.
  • PICK UP IN STORE

    Your local store may have stock of this item.

Related collections and offers


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: 9780486482217
Publisher: Dover Publications
Publication date: 06/16/2011
Series: Dover Books on Mathematics Series
Edition description: Unabridged
Pages: 288
Product dimensions: 5.30(w) x 8.50(h) x 0.70(d)

Table of Contents


Preface
Glossary of Special Symbols and Abbreviations
I. Mathematics, Formal logic, and Names
II. The Statement Calculus
III. Proof and Demonstration
IV. Abstract Mathematical Systems
V. The Restricted Predicate Calculus
VI. Applications of Logic in Mathematics
Appendix
Index
 
 
From the B&N Reads Blog

Customer Reviews