• How to Prove it: A Structured Approach See large image

    How to Prove it: A Structured Approach (Paperback) By (author) Daniel J. Velleman

    $30.13 - Save $7.16 19% off - RRP $37.29 Free delivery worldwide Available
    Dispatched in 1 business day
    When will my order arrive?
    Add to basket | Add to wishlist |

    Also available in...
    Hardback $89.88

    DescriptionMany 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.

Other books

Other people who viewed this bought | Other books in this category
Showing items 1 to 10 of 10


Reviews | Bibliographic data
  • Full bibliographic data for How to Prove it

    How to Prove it
    A Structured Approach
    Authors and contributors
    By (author) Daniel J. Velleman
    Physical properties
    Format: Paperback
    Number of pages: 398
    Width: 152 mm
    Height: 228 mm
    Thickness: 22 mm
    Weight: 540 g
    ISBN 13: 9780521675994
    ISBN 10: 0521675995

    BIC E4L: MAT
    Nielsen BookScan Product Class 3: S7.8
    B&T Book Type: NF
    LC subject heading:
    B&T Modifier: Region of Publication: 01
    BIC subject category V2: PBCD
    B&T Modifier: Academic Level: 01
    B&T General Subject: 710
    Ingram Subject Code: MA
    B&T Modifier: Text Format: 06
    B&T Merchandise Category: STX
    DC22: 511.3
    LC subject heading: ,
    BIC subject category V2: PBC
    BISAC V2.8: MAT018000
    LC subject heading:
    B&T Approval Code: A10603000
    BISAC V2.8: MAT036000
    Warengruppen-Systematik des deutschen Buchhandels: 15000
    LC classification: QA9 .V38 2006
    Thema V1.0: PBCD
    2, Revised
    Edition statement
    2nd Revised edition
    Illustrations note
    10 tables 536 exercises
    Imprint name
    Publication date
    01 May 2006
    Publication City/Country
    Author Information
    Daniel J. Velleman received his B.A. at Dartmouth College in 1976 summa cum laude, the highest distinction in mathematics. He received his Ph.D. from the University of Wisconsin-Madison in 1980 and was an instructor at the University of Texas-Austin, 1980-1983. His other books include Which Way Did the Bicycle Go? (with Stan Wagon and Joe Konhauser), 1996; Philosophies of Mathematics (with Alexander George), 2002. Among his awards and distinctions are the Lester R. Ford Award for the paper Versatile Coins (with Istvan Szalkai), 1994, the Carl B. Allendoerfer Award for the paper 'Permutations and Combination Locks' (with Greg Call), 1996. He's been a member of the editorial board for American Mathematical Monthly from 1997 to today and was Editor of Dolciani Mathematical Expositions from 1999-2004. He published papers in Journal of Symbolic Logic, Annals of Pure and Applied Logic, Transactions of the American Mathematical Society, Proceedings of the American Mathematical Society, American Mathematical Monthly, Mathematics Magazine, Mathematical Intelligencer, Philosophical Review, American Journal of Physics.
    Review quote
    'The book begins with the basic concepts of logic and theory ... These concepts are used as the basis for a step-by-step breakdown of the most important techniques used in constructing proofs. No background standard in high scholl mathematics is assumed.' L'enseignement mathematique
    Table of contents
    1. Sentential logic; 2. Quantificational logic; 3. Proofs; 4. Relations; 5. Functions; 6. Mathematical induction; 7. Infinite sets.