Cart
  • Free Shipping on all orders in Australia
  • Over 7 million books in stock
  • Proud to be B-Corp
  • We aim to be carbon neutral by 2022
  • Over 120,000 Trustpilot reviews
Item 1 of 0
Elements of Logic via Numbers and Sets By D.L. Johnson

Elements of Logic via Numbers and Sets by D.L. Johnson

Condition - Very Good
Out of stock

Summary

In addition to a comprehensive index, there is also a useful `Dramatis Personae` an index to the many symbols introduced in the text, most of which will be new to students and which will be used throughout their degree programme.

Elements of Logic via Numbers and Sets Summary

Elements of Logic via Numbers and Sets by D.L. Johnson

In mathematics we are interested in why a particular formula is true. Intuition and statistical evidence are insufficient, so we need to construct a formal logical proof. The purpose of this book is to describe why such proofs are important, what they are made of, how to recognize valid ones, how to distinguish different kinds, and how to construct them. This book is written for 1st year students with no previous experience of formulating proofs. Dave Johnson has drawn from his considerable experience to provide a text that concentrates on the most important elements of the subject using clear, simple explanations that require no background knowledge of logic. It gives many useful examples and problems, many with fully-worked solutions at the end of the book. In addition to a comprehensive index, there is also a useful `Dramatis Personae` an index to the many symbols introduced in the text, most of which will be new to students and which will be used throughout their degree programme.

Elements of Logic via Numbers and Sets Reviews

From the reviews: "It took me a while to appreciate the need for a course intended to introduce mathematics undergraduates to advanced mathematics after they finish the calculus sequence. ... This was the first book I found that seems really close to the core. It is well-written and very well suited to such a course." (James M. Cargal, UMAP Journal, Vol. 31 (1), 2010)

Table of Contents

1. Numbers.- 1.1 Arithmetic Progressions.- 1.2 Proof by Contradiction.- 1.3 Proof by Contraposition.- 1.4 Proof by Induction.- 1.5 Inductive Definition.- 1.6 The Well-ordering Principle.- 2. Logic.- 2.1 Propositions.- 2.2 Truth Tables.- 2.3 Syllogisms.- 2.4 Quantifiers.- 3. Sets.- 3.1 Introduction.- 3.2 Operations.- 3.3 Laws.- 3.4 The Power Set.- 4. Relations.- 4.1 Equivalence Relations.- 4.2 Congruences.- 4.3 Number Systems.- 4.4 Orderings.- 5. Maps.- 5.1 Terminology and Notation.- 5.2 Examples.- 5.3 Injections, Surjections and Bijections.- 5.4 Peano's Axioms.- 6. Cardinal Numbers.- 6.1 Cardinal Arithmetic.- 6.2 The Cantor-Schroeder-Bernstein theorem.- 6.3 Countable Sets.- 6.4 Uncountable Sets.- Solutions to Exercises.- Guide to the Literature.- Dramatis Personae.

Additional information

CIN001014023
9783540761235
3540761233
Elements of Logic via Numbers and Sets by D.L. Johnson
Used - Very Good
Paperback
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
1998-01-14
188
N/A
Book picture is for illustrative purposes only, actual binding, cover or edition may vary.
This is a used book - there is no escaping the fact it has been read by someone else and it will show signs of wear and previous use. Overall we expect it to be in very good condition, but if you are not entirely satisfied please get in touch with us

Customer Reviews - Elements of Logic via Numbers and Sets