Image from Google Jackets

How to prove it : a structured approach / Daniel J. Velleman. [print]

By: Material type: TextTextPublication details: New York : Cambridge University Press, [(c)2006.Edition: second editionDescription: xiii, 384 pages : illustrations ; 24 cmContent type:
  • text
Media type:
  • unmediated
Carrier type:
  • volume
ISBN:
  • 9780521861243
  • 0521861241
  • 9780521675994
  • 0521675995
Subject(s): LOC classification:
  • QA9.H698 2006
  • QA9.V439.H698 2006
Available additional physical forms:
  • COPYRIGHT NOT covered - Click this link to request copyright permission:
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.
Item type: Circulating Book (checkout times vary with patron status) List(s) this item appears in: Sadie
Tags from this library: No tags from this library for this title. Log in to add tags.
Star ratings
    Average rating: 0.0 (0 votes)
Holdings
Item type Current library Collection Call number Status Date due Barcode
Circulating Book (checkout times vary with patron status) G. Allen Fleece Library Circulating Collection - First Floor Non-fiction QA9.V38 2006 (Browse shelf(Opens below)) Available 31923001468905

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.

COPYRIGHT NOT covered - Click this link to request copyright permission:

There are no comments on this title.

to post a comment.