Logic in Elementary Mathematics - Brossura

Exner, Robert M.; Rosskopf, Myron F.

 
9780486482217: Logic in Elementary Mathematics

Sinossi

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.

Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.

Product Description

"Logic in Elementary Mathematics" is written by Robert M. Exner & Myron F. Rosskopf. This accessible, applications-related introductory treatment explores some of the structure of modern symbolic logic useful in the exposition of elementary mathematics. Topics include axiomatic structure and the relation of theory to interpretation. Intended for beginning undergraduates, no prior training in logic is necessary, and numerous examples and exercises aid in the mastery of the language of logic.

Contenuti

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

Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.

Altre edizioni note dello stesso titolo