|
0 Communicating Mathematics |
|
|
1 | (13) |
|
|
2 | (1) |
|
0.2 What Others Have Said About Writing |
|
|
3 | (2) |
|
|
5 | (1) |
|
|
6 | (2) |
|
0.5 Writing Mathematical Expressions |
|
|
8 | (2) |
|
0.6 Common Words and Phrases in Mathematics |
|
|
10 | (2) |
|
0.7 Some Closing Comments About Writing |
|
|
12 | (2) |
|
|
14 | (24) |
|
|
14 | (4) |
|
|
18 | (5) |
|
|
23 | (4) |
|
1.4 Indexed Collections of Sets |
|
|
27 | (4) |
|
|
31 | (2) |
|
1.6 Cartesian Products of Sets |
|
|
33 | (5) |
|
Chapter 1 Supplemental Exercises |
|
|
35 | (3) |
|
|
38 | (43) |
|
|
38 | (3) |
|
|
41 | (2) |
|
2.3 Disjunctions and Conjunctions |
|
|
43 | (2) |
|
|
45 | (4) |
|
|
49 | (4) |
|
|
53 | (4) |
|
2.7 Tautologies and Contradictions |
|
|
57 | (3) |
|
|
60 | (2) |
|
2.9 Some Fundamental Properties of Logical Equivalence |
|
|
62 | (3) |
|
2.10 Quantified Statements |
|
|
65 | (11) |
|
|
76 | (5) |
|
Chapter 2 Supplemental Exercises |
|
|
78 | (3) |
|
3 Direct Proof and Proof by Contrapositive |
|
|
81 | (24) |
|
3.1 Trivial and Vacuous Proofs |
|
|
82 | (3) |
|
|
85 | (4) |
|
3.3 Proof by Contrapositive |
|
|
89 | (5) |
|
|
94 | (4) |
|
|
98 | (7) |
|
Chapter 3 Supplemental Exercises |
|
|
102 | (3) |
|
4 More on Direct Proof and Proof by Contrapositive |
|
|
105 | (22) |
|
4.1 Proofs Involving Divisibility of Integers |
|
|
105 | (5) |
|
4.2 Proofs Involving Congruence of Integers |
|
|
110 | (3) |
|
4.3 Proofs Involving Real Numbers |
|
|
113 | (4) |
|
4.4 Proofs Involving Sets |
|
|
117 | (3) |
|
4.5 Fundamental Properties of Set Operations |
|
|
120 | (2) |
|
4.6 Proofs Involving Cartesian Products of Sets |
|
|
122 | (5) |
|
Chapter 4 Supplemental Exercises |
|
|
123 | (4) |
|
5 Existence and Proof by Contradiction |
|
|
127 | (25) |
|
|
127 | (4) |
|
5.2 Proof by Contradiction |
|
|
131 | (7) |
|
5.3 A Review of Three Proof Techniques |
|
|
138 | (3) |
|
|
141 | (5) |
|
5.5 Disproving Existence Statements |
|
|
146 | (6) |
|
Chapter 5 Supplemental Exercises |
|
|
149 | (3) |
|
|
152 | (29) |
|
6.1 The Principle of Mathematical Induction |
|
|
152 | (10) |
|
6.2 A More General Principle of Mathematical Induction |
|
|
162 | (8) |
|
6.3 The Strong Principle of Mathematical Induction |
|
|
170 | (4) |
|
6.4 Proof by Minimum Counterexample |
|
|
174 | (7) |
|
Chapter 6 Supplemental Exercises |
|
|
178 | (3) |
|
7 Reviewing Proof Techniques |
|
|
181 | (19) |
|
7.1 Reviewing Direct Proof and Proof by Contrapositive |
|
|
182 | (3) |
|
7.2 Reviewing Proof by Contradiction and Existence Proofs |
|
|
185 | (3) |
|
7.3 Reviewing Induction Proofs |
|
|
188 | (1) |
|
7.4 Reviewing Evaluations of Proposed Proofs |
|
|
189 | (11) |
|
|
193 | (7) |
|
|
200 | (24) |
|
8.1 Conjectures in Mathematics |
|
|
200 | (5) |
|
8.2 Revisiting Quantified Statements |
|
|
205 | (6) |
|
|
211 | (13) |
|
Chapter 8 Supplemental Exercises |
|
|
220 | (4) |
|
|
224 | (27) |
|
|
224 | (2) |
|
9.2 Properties of Relations |
|
|
226 | (4) |
|
9.3 Equivalence Relations |
|
|
230 | (5) |
|
9.4 Properties of Equivalence Classes |
|
|
235 | (4) |
|
|
239 | (6) |
|
9.6 The Integers Modulo n |
|
|
245 | (6) |
|
Chapter 9 Supplemental Exercises |
|
|
248 | (3) |
|
|
251 | (27) |
|
10.1 The Definition of Function |
|
|
251 | (5) |
|
10.2 One-to-one and Onto Functions |
|
|
256 | (3) |
|
|
259 | (4) |
|
10.4 Composition of Functions |
|
|
263 | (4) |
|
|
267 | (11) |
|
Chapter 10 Supplemental Exercises |
|
|
274 | (4) |
|
|
278 | (25) |
|
11.1 Numerically Equivalent Sets |
|
|
279 | (1) |
|
|
280 | (8) |
|
|
288 | (5) |
|
11.4 Comparing Cardinalities of Sets |
|
|
293 | (3) |
|
11.5 The Schroder-Bernstein Theorem |
|
|
296 | (7) |
|
Chapter 11 Supplemental Exercises |
|
|
301 | (2) |
|
12 Proofs in Number Theory |
|
|
303 | (24) |
|
12.1 Divisibility Properties of Integers |
|
|
303 | (2) |
|
12.2 The Division Algorithm |
|
|
305 | (5) |
|
12.3 Greatest Common Divisors |
|
|
310 | (2) |
|
12.4 The Euclidean Algorithm |
|
|
312 | (3) |
|
12.5 Relatively Prime Integers |
|
|
315 | (3) |
|
12.6 The Fundamental Theorem of Arithmetic |
|
|
318 | (4) |
|
12.7 Concepts Involving Sums of Divisors |
|
|
322 | (5) |
|
Chapter 12 Supplemental Exercises |
|
|
324 | (3) |
|
13 Proofs in Combinatorics |
|
|
327 | (38) |
|
13.1 The Multiplication and Addition Principles |
|
|
327 | (6) |
|
13.2 The Principle of Inclusion-Exclusion |
|
|
333 | (3) |
|
13.3 The Pigeonhole Principle |
|
|
336 | (4) |
|
13.4 Permutations and Combinations |
|
|
340 | (8) |
|
|
348 | (4) |
|
13.6 The Binomial Theorem |
|
|
352 | (5) |
|
13.7 Permutations and Combinations with Repetition |
|
|
357 | (8) |
|
Chapter 13 Supplemental Exercises |
|
|
363 | (2) |
|
|
365 | (35) |
|
|
365 | (8) |
|
|
373 | (5) |
|
|
378 | (8) |
|
14.4 Fundamental Properties of Limits of Functions |
|
|
386 | (6) |
|
|
392 | (3) |
|
|
395 | (5) |
|
Chapter 14 Supplemental Exercises |
|
|
397 | (3) |
|
15 Proofs in Group Theory |
|
|
400 | (30) |
|
|
400 | (5) |
|
|
405 | (6) |
|
|
411 | (3) |
|
15.4 Fundamental Properties of Groups |
|
|
414 | (4) |
|
|
418 | (5) |
|
|
423 | (7) |
|
Chapter 15 Supplemental Exercises |
|
|
428 | (2) |
Answers to Odd-Numbered Section Exercises |
|
430 | (53) |
References |
|
483 | (1) |
Credits |
|
484 | (2) |
Index of Symbols |
|
486 | (1) |
Index |
|
487 | |