Shortcuts
Please wait while page loads.
SISSA Library . Default .
PageMenu- Main Menu-
Page content

Catalogue Display

Elements of Logic via Numbers and Sets

Elements of Logic via Numbers and Sets
Catalogue Information
Field name Details
Dewey Class 511.3
Title Elements of Logic via Numbers and Sets ([EBook]) / by D. L. Johnson.
Author Johnson, David L. , 1943-
Other name(s) SpringerLink (Online service)
Publication London : Springer London , 1998.
Physical Details X, 188 pages : online resource.
Series Springer undergraduate mathematics series 1615-2085
ISBN 9781447106036
Summary Note 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.:
Contents note 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.
System details note Online access to this digital book is restricted to subscription institutions through IP address (only for SISSA internal users)
Internet Site http://dx.doi.org/10.1007/978-1-4471-0603-6
Links to Related Works
Subject References:
Authors:
Corporate Authors:
Series:
Classification:
Catalogue Information 45568 Beginning of record . Catalogue Information 45568 Top of page .

Reviews


This item has not been rated.    Add a Review and/or Rating45568
. E-mail This Page
Quick Search