Last update: Thursday, December 2, 2004
| Tuesday | Thursday |
| 8/24 1.1 Logical Form and Equivalence T: 10d, 17, 24, 32, 38, 46, 48 |
8/26 Def. Quiz 1.1 1.2 Conditional Statements C: 4, 8, 14 and 1.1 C: 45, 51 T: 20c,e, 22c,e, 23c,e, 25, 27, 33, 44, 46 |
| 8/31 HW 1.1-1.2 due 1.3 Valid and Invalid Arguments C: 13b, 20 T: 23, 29, 30, 32, 40, 42 |
9/2 Def. Quiz 1.2-1.3 2.1 Predicates and Quanitified Stmts. I C: 6, 7c,d, 12, 16b,d, 17b T: 15, 16f, 22b, 23b, 27b,c, 29, 30d, 31d |
| 9/7 HW 1.3-2.1 due 2.2 Predicates and Quanitified Stmts. II C: 2, 3b,d, 4b,d, 10, 32 T: 12, 14, 21, 37, 43, 45, 46 |
9/9 Def. Quiz 2.1-2.2 2.3 Stmts. with Multiple Quantifiers C: 4c, 6, 8, 10b,d,f, 13 T: 17, 19, 25, 27, 40d,f, 42, 55, 56 |
| 9/14 HW 2.2-2.3 due 2.4 Arguments with Quantified Stmts. C: 4, 6, 11, 20, 26, T: 12, 18, 22, 24, 32, 34 (Check against solutions on bulletin board outside PS316C) |
9/16 Def. Quiz 2.3-2.4 3.1 Direct Proof and Counterexample I C: 5, 13, 16, 18, 26 T: 28, 33, 45, 47, 52, 53 |
| 9/21 3.1 Direct Proof and Counterexample I C: 5, 13, 16, 18, 26 T: 28, 33, 45, 47, 52, 53 |
9/23 15 minutes for questions Exam 1 on 1.1-1.3, 2.1-2.4 |
| 9/28 Def. Quiz 3.1-3.2 3.2 II - Rational Numbers C: 7, 8, 13, 15, 21 T: 22, 24, 27, 36 3.3 III - Divisibility C: 3, 13, 16, 33b, 35a,c T: 20, 27, 36, 39b,c, 42 |
9/30 HW 3.1-3.2 due 3.3 III - Divisibility and 3.4 IV - Division into Cases C: 6, 9, 14, 18, 24 T: 30, 43, 50 |
| 10/5 Def. Quiz 3.3-3.4 3.4 IV - Division into Cases C: 18, 24 T: 30, 43, 50 and 3.6 Contradiction & Contraposition C: 4, 20, 23 T: 6, 18, 26 |
10/7 HW 3.3-3.4 due Read 3.7 Two Classical Theorems T: 6, 12 4.1 Sequences C: 2, 7, 21, 22, 47 T: 15, 28, 37, 41, 50, 56, 57 On Own: more from 1-60 as needed |
| 10/12 4.1 Sequences and 4.2 Mathematical Induction I C: 2, 4, 5 T: 7, 14, 16, 22, 26 |
10/14 HW 3.6-4.2 due 4.2 Mathematical Induction I and 4.4 Strong Mathematical Induction C: 2, 15, 17 T: 5, 13, 16, 19 |
| 10/19 4.4 Strong Mathematical Induction 5.1 Basic Definitions of Set Theory C: 2, 3, 4b, 6b,d, 20b T: 9f, 11a,b,g-j, 12a, 15, 20c, 25, 27b On Own: more from 1-30 as needed |
10/21 15 minutes for questions Exam 2 on 3.1-3.7 except 3.5, 4.1, 4.2 |
| 10/26 5.1 Basic Definitions of Set Theory C: 2, 3, 4b, 6b,d, 20b T: 9f, 11a,b,g-j, 12a, 15, 20c, 25, 27b On Own: more from 1-30 as needed |
10/28 HW 4.4-5.1 due Def. Quiz 5.1 5.2 Properties of Sets C: 4, 7, 20, T: 9, 21b,c, 31 On Own: more from 7-17 and 23-34 as needed |
| 11/2 5.3 Disproofs and Boolean Algebras C: 8, 19, 20, 24 T: 10, 12, 27 Read 5.4 Russel's Paradox and the Halting Problem |
11/4 HW 5.2-5.3 due 10.1 Relations on Sets C: 1, 5, 6, 10 T: 2, 11b,c, 12, 18, 24, 28b On Own: more from 7-17 and 23-34 as needed |
| 11/9 Def.
Quiz 10.1 10.2 Reflexivity, Symmetry, and Transitivity C: 2, 13, 16 T: 4, 20, 27, 32, 33 10.3 Equivalence Relations C: 2c, 6, 13b,c, 14b T: 2b, 12, 15b |
11/11 HW 10.1-10.2 due 10.3 Equivalence Relations C: 17b, 29 T: 2b, 12, 15b, 19, 28, 36 On Own: more from 1-28 as needed SOLUTIONS TO 10.3T PROBLEMS ARE POSTED ON THE BOARD |
| 11/16 Def.
Quiz 10.2-10.3 7.1 Functions on General Sets C: 2, 3, 5c, 18, 29, 31 T: 4b,d, 6b,c, 22, 32, 34 |
11/18 15 minutes for questions Exam 3 on 5.1-5.3, 10.1-10.3 SOLUTIONS TO 10.3T PROBLEMS ARE POSTED ON THE BOARD - CHECK THESE YOURSELF |
| 11/23 No Class | 11/25 No Class |
| 11/30 7.2 One-to-One and Onto, Inverses C: 8, 14, 18, 25, 42 T: 9b,c,d, 13, 23, 30, 33 On Own: more from 1-47 as needed |
12/2 HW 7.1-7.2 due 7.3 The Pigeonhole Principle C: 2, 4, 13, 15, 18, 21 On Own: more from 1-24 as needed |
| 12/7 7.4 Composition of Functions C: 2-4, 11, 14, 17, 24 On Own: more from 1-26 as needed 7.5 Cardinality and Computability C: 4, 5, 15 On Own: more from 1-9 as needed |
12/9 7.5 Cardinality and Computability C: 4, 5, 15 On Own: more from 1-9 as needed Review for Final BRING QUESTIONS! |
| 12/14 FINAL, 7:30am-9:30am, Cumulative 1.1-1.3, 2.1-2.4, 3.1-3.7 except 3.5, 4.1-4.2, 5.1-5.3, 10.1-10.3, 7.1-7.5 |
Suggestions
for effective reading
Reading a mathematics text effectively requires
effort and practice. You should: