## Find a copy online

### Links to this item

## Find a copy in the library

Finding libraries that hold this item...

## Details

Material Type: | Internet resource |
---|---|

Document Type: | Book, Internet Resource |

All Authors / Contributors: |
Daniel J Velleman |

ISBN: | 0521861241 0521675995 9780521861243 9780521675994 |

OCLC Number: | 62084309 |

Description: | xiii, 384 p. : ill. ; 24 cm. |

Contents: | Introduction -- Sentential logic -- 1.1 Deductive reasoning and logical connectives -- 1.2 truth tables -- 1.3 variables and sets -- 1.4 operations on sets -- 1.5 The conditional and biconditional connectives -- Quantificational logic -- 2.1 Quantifiers -- 2.2 Equivalences involving quantifiers -- 2.3 More operations on sets -- Proofs -- 3.1 proof strategies -- 3.2 proofs involving negations and conditionals -- 3.3 Proofs involving quantifiers -- 3.4 Proofs involving conjunctions and biconditionals -- 3.5 Proofs involving disjunctions -- 3.6 Existence and uniqueness proofs -- 3.7 More examples of proofs -- Relations -- 4.1 Ordered pairs and cartesian products -- 4.2 Relations -- 4.3 More about relations -- 4.4 Ordering relations -- 4.5 Closures -- 4.6 Equivalence relations -- Functions -- 5.1 Functions -- 5.2 One-to-one and onto -- 5.3 Inverses of functions -- 5.4 Images and inverse images: a research project -- Mathematical induction -- 6.1 Proof by mathematical induction -- 6.2 More examples -- 6.3 Recursion -- 6.4 Strong induction -- 6.5 Closures again -- Infinite sets -- 7.1 Equinumerous sets -- 7.2 Countable and uncountable sets -- 7.3 The cantor--Schroder--Bernstein theorem -- Appendix 1: Solutions to selected exercises -- Appendix 2: Proof designer -- Suggestions for further reading -- Summary for proof techniques -- Index. |

Responsibility: | Daniel J. Velleman. |

More information: |

### Abstract:

This new edition of Dan Velleman's successful textbook contains over 200 new exercises, selected solutions, and an introduction to Proof Designer software.
Read more...

## Reviews

*Editorial reviews*

Publisher Synopsis

'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 Read more...

*User-contributed reviews*

Add a review and share your thoughts with other readers.
Be the first.

Add a review and share your thoughts with other readers.
Be the first.

## Tags

Add tags for "How to prove it : a structured approach".

### All user tags (2)

**View most popular tags as:**tag list | tag cloud

**View most popular tags as:**tag list | tag cloud

- foundations (by 1 person)
- proofs (by 1 person)

- 1 items are tagged withfoundations
- 1 items are tagged withproofs

## Similar Items

### Related Subjects:(5)

- Logic, Symbolic and mathematical.
- Mathematics.
- Logique symbolique et mathématique.
- Mathématiques.
- Beweistheorie.

### User lists with this item (2)

- Mathematics Texts(15 items)
by dsharkness updated 2012-04-05
- Mathematics(58 items)
by barryl updated 2014-03-15