How to Prove It

A Structured Approach

Nonfiction, Science & Nature, Mathematics, Logic, History
Cover of the book How to Prove It by Daniel J. Velleman, Cambridge University Press
View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart
Author: Daniel J. Velleman ISBN: 9781139234948
Publisher: Cambridge University Press Publication: January 16, 2006
Imprint: Cambridge University Press Language: English
Author: Daniel J. Velleman
ISBN: 9781139234948
Publisher: Cambridge University Press
Publication: January 16, 2006
Imprint: Cambridge University Press
Language: English

Many students have trouble the first time they take a mathematics course in which proofs play a significant role. This new edition of Velleman's successful text will prepare students to make the transition from solving problems to proving theorems by teaching them the techniques needed to read and write proofs. The book begins with the basic concepts of logic and set theory, to familiarize students with the language of mathematics and how it is interpreted. These concepts are used as the basis for a step-by-step breakdown of the most important techniques used in constructing proofs. The author shows how complex proofs are built up from these smaller steps, using detailed 'scratch work' sections to expose the machinery of proofs about the natural numbers, relations, functions, and infinite sets. To give students the opportunity to construct their own proofs, this new edition contains over 200 new exercises, selected solutions, and an introduction to Proof Designer software. No background beyond standard high school mathematics is assumed. This book will be useful to anyone interested in logic and proofs: computer scientists, philosophers, linguists, and of course mathematicians.

View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart

Many students have trouble the first time they take a mathematics course in which proofs play a significant role. This new edition of Velleman's successful text will prepare students to make the transition from solving problems to proving theorems by teaching them the techniques needed to read and write proofs. The book begins with the basic concepts of logic and set theory, to familiarize students with the language of mathematics and how it is interpreted. These concepts are used as the basis for a step-by-step breakdown of the most important techniques used in constructing proofs. The author shows how complex proofs are built up from these smaller steps, using detailed 'scratch work' sections to expose the machinery of proofs about the natural numbers, relations, functions, and infinite sets. To give students the opportunity to construct their own proofs, this new edition contains over 200 new exercises, selected solutions, and an introduction to Proof Designer software. No background beyond standard high school mathematics is assumed. This book will be useful to anyone interested in logic and proofs: computer scientists, philosophers, linguists, and of course mathematicians.

More books from Cambridge University Press

Cover of the book The Astrobiological Landscape by Daniel J. Velleman
Cover of the book The Limits of Transnational Law by Daniel J. Velleman
Cover of the book Machiavelli: The Prince by Daniel J. Velleman
Cover of the book A Parent-Partner Status for American Family Law by Daniel J. Velleman
Cover of the book Digital Mammography by Daniel J. Velleman
Cover of the book Proactive Support of Labor by Daniel J. Velleman
Cover of the book Forbidden Configurations in Discrete Geometry by Daniel J. Velleman
Cover of the book Inclusion without Representation in Latin America by Daniel J. Velleman
Cover of the book Money, Markets, and Monarchies by Daniel J. Velleman
Cover of the book Modernism, Satire and the Novel by Daniel J. Velleman
Cover of the book Common Law, History, and Democracy in America, 1790–1900 by Daniel J. Velleman
Cover of the book A Theory of World Politics by Daniel J. Velleman
Cover of the book African Coalitions and Global Economic Governance by Daniel J. Velleman
Cover of the book Automorphic Forms and Galois Representations: Volume 1 by Daniel J. Velleman
Cover of the book The Cambridge Companion to Ralph Ellison by Daniel J. Velleman
We use our own "cookies" and third party cookies to improve services and to see statistical information. By using this website, you agree to our Privacy Policy