Velleman, Daniel J.

How to prove it: a structured approach - 3rd ed. - Cambridge, Cambridge University Press, 2019. - xii, 458 p. : ill. ; pb, 23 cm.

Includes bibliographical references and index.

Many students have trouble the first time they take a mathematics course in which proofs play a significant role. This book will prepare students for such courses by teaching them techniques for writing and reading proofs. No background beyond high school mathematics is assumed. The book begins with logic and set theory, to familiarize students with the language of mathematics and how it is interpreted. This understanding of the language of mathematics serves as the basis for a detailed discussion of the most important techniques used in proofs, when and how to use them, and how they are combined to produce complex proofs. Material on the natural numbers, relations, functions, and infinite sets provides practice in writing and reading proofs, as well as supplying background that will be valuable in most theoretical mathematics courses.

9781108439534


Logic, Symbolic and mathematical
Mathematics
Proof theory
General principles of mathematics

511.3 / VEL