|

Addison-Wesley / Prentice Hall

Mathematics

My Instructor Resource Center :  Log in or request access

Mathematical Proofs: A Transition to Advanced Mathematics
Gary ChartrandWestern Michigan University
Albert D. PolimeniSUNY, College at Fredonia
Ping ZhangWestern Michigan University

ISBN-10: 0201710900
ISBN-13:  9780201710908

Publisher:  Pearson
Copyright:  2003
Format:  Cloth; 384 pp
Published:  05/28/2002

Mathematical Proofs is designed to prepare students for the more abstract mathematics courses that follow calculus. This text introduces students to proof techniques and writing proofs of their own. As such, it is an introduction to the mathematics enterprise providing solid introductions to relations, functions, and cardinalities of sets.

  • Proof Strategies. Proofs are often preceded by a discussion, encouraging students to think about the proof before they jump right into it.
  • Proof Analysis. Proofs are followed by discussions and reflected upon, to point out certain key details.
  • Practice in writing mathematics. Chapter 0 emphasizes effective and clear exposition, correct usage of symbols, writing and displaying mathematical expressions, and using key words and phrases.
  • Early introduction of Sets. Coverage of Sets in Chapter 1 helps prepare students for coverage of Logic in Chapter 2.
  • Early introduction of Logic. Much of the emphasis in Chapter 2 is on statements, implications, and an introduction to qualified statements. This helps present what is needed to get into proofs as quickly as possible.
  • Proof by Contradiction. An entire chapter is devoted to proof by contradiction.
  • Exercises. A wide variety of exercises are provided in the text. There are exercises that present students with statements, asking them to decide whether they are true or false. There are proposed proofs of statements, asking if the argument is valid. There are also proofs without a statement given, asking students to supply a statement of what has been proved.
  • Writing better proofs. A major goal of the text is to help students learn to construct proofs so that they are not only mathematically correct but are clearly written, convincing, readable, notationally consistent, and grammatically correct.
  • Web site for Mathematical Proofs. Three additional chapters, Chapters 14, 15, and 16 (dealing proofs in ring theory, linear algebra, and topology), can be found on the Web site: www.aw.com/chartrand.



0. Communicating Mathematics.

Learning Mathematics.

What Others Have Said About Writing.

Mathematical Writing.

Using Symbols.

Writing Mathematical Expressions.

Common Words and Phrases in Mathematics.

Some Closing Comments About Writing.



1. Sets.

Describing a Set.

Special Sets.

Subsets.

Set Operations.

Indexed Collections of Sets.

Partitions of Sets.

Cartesian Products of Sets.



2. Logic.

Statements.

The Negation of a Statement.

The Disjunction and Conjunction of Statements.

The Implication.

More On Implications.

The Biconditional.

Tautologies and Contradictions.

Logical Equivalence.

Some Fundamental Properties of Logical Equivalence.

Characterizations of Statements.

Quantified Statements and Their Negations.



3. Direct Proof and Proof by Contrapositive.

Trivial and Vacuous Proofs.

Direct Proofs.

Proof by Contrapositive.

Proof by Cases.

Proof Evaluations.



4. More on Direct Proof and Proof by Contrapositive.

Proofs Involving Divisibility of Integers.

Proofs Involving Congruence of Integers.

Proofs Involving Real Numbers.

Proofs Involving Sets.

Fundamental Properties of Set Operations.

Proofs Involving Cartesian Products of Sets.



5. Proof by Contradiction.

Proof by Contradiction.

Examples of Proof by Contradiction.

The Three Prisoners Problem.

Other Examples of Proof by Contradiction.

The Irrationality of <F128>À2.

A Review of the Three Proof Techniques.



6. Prove or Disprove.

Conjectures in Mathematics.

A Review of Quantifiers.

Existence Proofs.

A Review of Negations of Quantified Statements.

Counterexamples.

Disproving Statements.

Testing Statements.

A Quiz of “Prove or Disprove” Problems.



7. Equivalence Relations.

Relations.

Reflexive, Symmetric, and Transitive Relations.

Equivalence Relations.

Properties of Equivalence Classes.

Congruence Modulo n.

The Integers Modulo n.



8. Functions.

The Definition of Function.

The Set of All Functions From A to B.

One-to-one and Onto Functions.

Bijective Functions.

Composition of Functions.

Inverse Functions.

Permutations.



9. Mathematical Induction.

The Well-Ordering Principle.

The Principle of Mathematical Induction.

Mathematical Induction and Sums of Numbers.

Mathematical Induction and Inequalities.

Mathematical Induction and Divisibility.

Other Examples of Induction Proofs.

Proof By Minimum Counterexample.

The Strong Form of Induction.



10. Cardinalities of Sets.

Numerically Equivalent Sets.

Denumerable Sets.

Uncountable Sets.

Comparing Cardinalities of Sets.

The Schroder-Bernstein Theorem.



11. Proofs in Number Theory.

Divisibility Properties of Integers.

The Division Algorithm.

Greatest Common Divisors.

The Euclidean Algorithm.

Relatively Prime Integers.

The Fundamental Theorem of Arithmetic.

Concepts Involving Sums of Divisors.



12. Proofs in Calculus.

Limits of Sequences.

Infinite Series.

Limits of Functions.

Fundamental Properties of Limits of Functions.

Continuity.

Differentiability.



13. Proofs in Group Theory.

Binary Operations.

Groups.

Permutation Groups.

Fundamental Properties of Groups.

Subgroups.

Isomorphic Groups.



Answers and Hints to Selected Odd-Numbered Exercises.


References Index of Symbols.


Index of Mathematical Terms.

  • 9780321390530
    Mathematical Proofs: A Transition to Advanced Mathematics, 2/E
    Chartrand, Polimeni & Zhang
    ©2008 | Pearson | Cloth; 384 pp | Instock
    ISBN-10: 0321390539 | ISBN-13: 9780321390530
    Brief Description

Online Instructor's Manual
Chartrand
©2003 | Pearson | On-line Supplement | Instock
ISBN-10: 0321199715 | ISBN-13: 9780321199713
    View Downloadable Files

For the Mathematics Discipline

Addison-Wesley's Algebra Review
Addison-Wesley
©2004 | Pearson | Paper | Instock
ISBN-10: 0321247086 | ISBN-13: 9780321247087


Addison-Wesley's Basic Math Review
Addison-Wesley
©2004 | Pearson | Paper | Instock
ISBN-10: 0321247078 | ISBN-13: 9780321247070


Algebra Review Study Card, 2/E
D'Ippolito & Generazzo
©2006 | Pearson | Study Card; 6 pp | Instock
ISBN-10: 0321394739 | ISBN-13: 9780321394736


Allied Health Study Card, 2/E
Forshier
©2006 | Pearson | Study Card | Instock
ISBN-10: 0321394747 | ISBN-13: 9780321394743


Basic Math Review Card, 2/E
Addison-Wesley
©2006 | Pearson | Study Card; 6 pp | Instock
ISBN-10: 0321394763 | ISBN-13: 9780321394767


Concept Videos: Algebra
Addison-Wesley
©2008 | Pearson | Multiple Media Package | Instock
ISBN-10: 0321517199 | ISBN-13: 9780321517197


Concept Videos: Basic Math & Prealgebra
Addison-Wesley
©2008 | Pearson | Multiple Media Package | Instock
ISBN-10: 032151758X | ISBN-13: 9780321517586


Discovering Algebra: Examples with Keystrokes on the TI-83/TI-82 and TI-85/TI-86, A Laboratory Approach
Pirich & Bigliani
©1997 | Pearson | Paper; 195 pp | Out of Stock
ISBN-10: 0136492037 | ISBN-13: 9780136492030


Finite Mathematics Study Card
Addison-Wesley
©2006 | Pearson | Study Card | Instock
ISBN-10: 0321374398 | ISBN-13: 9780321374394


Flash Review Series: Algebra
Becker
©2004 | Pearson | Paper | Instock
ISBN-10: 0321143094 | ISBN-13: 9780321143099


Graphing Calculator Reference Card, 3/E
Ripley
©2006 | Pearson | Study Card; 6 pp | Instock
ISBN-10: 0321394755 | ISBN-13: 9780321394750


Graphing Calculator Tutorial CD
Addison-Wesley
©2006 | Pearson | CD-ROM Only | Instock
ISBN-10: 0321357744 | ISBN-13: 9780321357748


Math for Allied Health Study/Reference Card
Forshier
©2006 | Pearson | Study Card; 0 pp | Out of Stock
ISBN-10: 0321336542 | ISBN-13: 9780321336545


Mathematics Spanish Glossary, 2/E
Lara & Peeples
©2000 | Pearson | Paper; 48 pp | Instock
ISBN-10: 0201728966 | ISBN-13: 9780201728965


Overcoming Math Anxiety, 2/E
Davidson & Levitov
©2000 | Pearson | Paper | Instock
ISBN-10: 0321069188 | ISBN-13: 9780321069184


Pearson TI Rebate Coupon $15, 2/E
Pearson
©2009 | Pearson | Paper | Instock
ISBN-10: 0321566041 | ISBN-13: 9780321566041


Prealgebra Review Workbook
Wheel
©2006 | Pearson | Paper; 300 pp | Instock
ISBN-10: 0321473329 | ISBN-13: 9780321473325


Review of Algebra, A
Howard
©2002 | Pearson | Paper; 224 pp | Instock
ISBN-10: 0201773473 | ISBN-13: 9780201773477


Saleable Technology Bundle, 2/E
Pearson
©2009 | Pearson | Multiple Media Package | Estimated Availability : 09/01/2008
ISBN-10: 0321561880 | ISBN-13: 9780321561886


Spanish Basic Math Study Card
Leonarte
©2007 | Pearson | Study Card | Instock
ISBN-10: 0321438582 | ISBN-13: 9780321438584


Stand-alone Access Code Tutor Center
Addison-Wesley
©2008 | Pearson | Access Code Card | Instock
ISBN-10: 0201721708 | ISBN-13: 9780201721706


Pearson Higher Education offers special pricing when you choose to package your text with other student resources. If you're interested in creating a cost-saving package for your students contact your Pearson Higher Education representative.