Location 
Call number 
Availability 
Library Retrieval System 
511.3 JOHN

Available

 Description
 x, 174 p. : ill. ; 24 cm.
 Notes
 1. Numbers  2. Logic  3. Sets  4. Relations  5. Maps  6. Cardinal Numbers.In pure mathematics we are interested in why a particular formula is true rather than when to apply it. Intuition and statistical evidence are insufficient justification, 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.In writing this text for first year students with no previous experience of formulating proofs, Dave Johnson has drawn from his considerable experience of teaching 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, number theory or set theory. It gives many useful examples and problems, many with fullyworked 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 undergraduates and which will be used throughout their degree programme.Includes bibliographical references (p. [165]) and index.