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.

Drawing on many years'experience of teaching discrete mathem atics to students of all levels, Anderson introduces such as pects as enumeration, graph theory and configurations or arr angements. Starting with an introduction to counting and rel ated problems, he moves on to the basic ideas of graph theor y with particular emphasis on trees and planar graphs. He de scribes the inclusion-exclusion principle followed by partit ions of sets which in turn leads to a study of Stirling and Bell numbers. Then follows a treatment of Hamiltonian cycles, Eulerian circuits in graphs, and Latin squares as well as proof of Hall's theorem. He concludes with the constructions of schedules and a brief introduction to block designs. Each chapter is backed by a number of examples, with straightforw ard applications of ideas and more challenging problems.

An undergraduate-level introduction to number theory, with the emphasis on fully explained proofs and examples. Exercises, together with their solutions are integrated into the text, and the first few chapters assume only basic school algebra. Elementary ideas about groups and rings are then used to study groups of units, quadratic residues and arithmetic functions with applications to enumeration and cryptography. The final part, suitable for third-year students, uses ideas from algebra, analysis, calculus and geometry to study Dirichlet series and sums of squares. In particular, the last chapter gives a concise account of Fermat's Last Theorem, from its origin in the ancient Babylonian and Greek study of Pythagorean triples to its recent proof by Andrew Wiles.

"This accessible approach to set theory for upper-level undergraduates poses rigorous but simple arguments. Each definition is accompanied by commentary that motivates and explains new concepts. A historical introduction is followed by discussions of classes and sets, functions, natural and cardinal numbers, the arithmetic of ordinal numbers, and related topics. 1971 edition with new material by the author"--

A Gateway to Higher Mathematics integrates the process of teaching students how to do proofs into the framework of displaying the development of the real number system. The text eases the students into learning how to construct proofs, while preparing students how to cope with the type of proofs encountered in the higher-level courses of abstract algebra, analysis, and number theory. After using this text, the students will not only know how to read and construct proofs, they will understand much about the basic building blocks of mathematics. The text is designed so that the professor can choose the topics to be emphasized, while leaving the remainder as a reference for the students.

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.

This introduction to the ideas and methods of linear functional analysis shows how familiar and useful concepts from finite-dimensional linear algebra can be extended or generalized to infinite-dimensional spaces. Aimed at advanced undergraduates in mathematics and physics, the book assumes a standard background of linear algebra, real analysis (including the theory of metric spaces), and Lebesgue integration, although an introductory chapter summarizes the requisite material. A highlight of the second edition is a new chapter on the Hahn-Banach theorem and its applications to the theory of duality.

Real Analysis is a comprehensive introduction to this core subject and is ideal for self-study or as a course textbook for first and second-year undergraduates. Combining an informal style with precision mathematics, the book covers all the key topics with fully worked examples and exercises with solutions. All the concepts and techniques are deployed in examples in the final chapter to provide the student with a thorough understanding of this challenging subject. This book offers a fresh approach to a core subject and manages to provide a gentle and clear introduction without sacrificing rigour or accuracy.

This book brings the most important aspects of modern topology within reach of a second-year undergraduate student. It successfully unites the most exciting aspects of modern topology with those that are most useful for research, leaving readers prepared and motivated for further study. Written from a thoroughly modern perspective, every topic is introduced with an explanation of why it is being studied, and a huge number of examples provide further motivation. The book is ideal for self-study and assumes only a familiarity with the notion of continuity and basic algebra.