Preface |
|
ix | |
|
Introduction to Writing Proofs in Mathematics |
|
|
1 | (28) |
|
|
1 | (12) |
|
Constructing Direct Proofs |
|
|
13 | (13) |
|
Solutions for the Progress Checks |
|
|
26 | (1) |
|
|
27 | (2) |
|
|
29 | (47) |
|
Statements and Logical Operators |
|
|
29 | (8) |
|
Logically Equivalent Statements |
|
|
37 | (10) |
|
Predicates, Sets, and Quantifiers |
|
|
47 | (11) |
|
Quantifiers and Negations |
|
|
58 | (13) |
|
Solutions for the Progress Checks |
|
|
71 | (3) |
|
|
74 | (2) |
|
Constructing and Writing Proofs in Mathematics |
|
|
76 | (75) |
|
|
76 | (17) |
|
|
93 | (14) |
|
|
107 | (13) |
|
|
120 | (8) |
|
The Division Algorithm and Congruence |
|
|
128 | (14) |
|
Solutions for the Progress Checks |
|
|
142 | (4) |
|
|
146 | (5) |
|
|
151 | (67) |
|
|
151 | (17) |
|
Proving Set Relationships |
|
|
168 | (12) |
|
Properties of Set Operations |
|
|
180 | (10) |
|
|
190 | (9) |
|
|
199 | (12) |
|
Solutions for the Progress Checks |
|
|
211 | (4) |
|
|
215 | (3) |
|
|
218 | (46) |
|
The Principle of Mathematical Induction |
|
|
218 | (17) |
|
Other Forms of Mathematical Induction |
|
|
235 | (13) |
|
|
248 | (11) |
|
Solutions for the Progress Checks |
|
|
259 | (2) |
|
|
261 | (3) |
|
|
264 | (85) |
|
Introduction to Functions |
|
|
264 | (14) |
|
|
278 | (12) |
|
Injections, Surjections, and Bijections |
|
|
290 | (16) |
|
|
306 | (11) |
|
|
317 | (16) |
|
|
333 | (10) |
|
Solutions for the Progress Checks |
|
|
343 | (3) |
|
|
346 | (3) |
|
|
349 | (50) |
|
|
349 | (10) |
|
|
359 | (13) |
|
|
372 | (12) |
|
|
384 | (11) |
|
Solutions for the Progress Checks |
|
|
395 | (2) |
|
|
397 | (2) |
|
|
399 | (38) |
|
The Greatest Common Divisor |
|
|
399 | (11) |
|
Prime Numbers and Prime Factorizations |
|
|
410 | (12) |
|
Linear Diophantine Equations |
|
|
422 | (9) |
|
Solutions for the Progress Checks |
|
|
431 | (4) |
|
|
435 | (2) |
|
|
437 | (38) |
|
|
437 | (9) |
|
|
446 | (13) |
|
|
459 | (11) |
|
solutions for the Progress Checks |
|
|
470 | (3) |
|
|
473 | (2) |
Guidelines for Writing Mathematical Proofs |
|
475 | (5) |
Answers and Hints for Selected Exercises |
|
480 | (25) |
List of Symbols |
|
505 | (3) |
Index |
|
508 | |