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 India's Late, Late Industrial Revolution by Daniel J. Velleman
Cover of the book The Cambridge Companion to Verdi by Daniel J. Velleman
Cover of the book The Cambridge Companion to Robert Frost by Daniel J. Velleman
Cover of the book A History of Early Modern Women's Writing by Daniel J. Velleman
Cover of the book An Introduction to Mathematics for Economics by Daniel J. Velleman
Cover of the book An Introduction to Buddhism by Daniel J. Velleman
Cover of the book Organ Transplantation by Daniel J. Velleman
Cover of the book Law against the State by Daniel J. Velleman
Cover of the book Resolving Transfer Pricing Disputes by Daniel J. Velleman
Cover of the book 'Crimes against Peace' and International Law by Daniel J. Velleman
Cover of the book Ideophones and the Evolution of Language by Daniel J. Velleman
Cover of the book Socioeconomic and Environmental Impacts of Biofuels by Daniel J. Velleman
Cover of the book The Cambridge Handbook of Kinship by Daniel J. Velleman
Cover of the book Electoral Politics in Africa since 1990 by Daniel J. Velleman
Cover of the book Belgium and the Congo, 1885–1980 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