| Week | Monday | Tuesday | Thursday |
|---|---|---|---|
| 1 (March 27-31) | Proposition and Connectives (1.1) Homework: (1.1) 1, 2i, 4e, 5abc, 10abcd |
Conditionals, Biconditionals, Quantifiers (1.2, 1.3) Homework: (1.2) 1bc, 4bd, 6ab, 8b, (1.3) 1cdef, 3, 6a |
Quantifiers, Direct Proofs (1.3, 1.4) Homework: (1.3) 5af, 7beh, (1.4) 5b, 6a, 7d, 9b |
| 2 (April 3-7) | Lab 1 | Basic Proof Methods (1.4, 1.5) Homework: (1.4) 11bc, (1.5) 2, 3c, 6a, 7a, 12a |
More Proofs (1.6) Homework: (1.6) 1ac, 2b, (1.7) 3a, Read Section 1.7 |
| 3 (April 10-14) | Lab 2 | Division Algorithm, Euclidean Algorithm (1.7), Basic Set Theory (2.1)
Homework: (1.6) 7ik, 8hi, (1.7) 9b, (2.1) 3a-d, 4a-d,j, 6b |
Set Theory (2.2-2.3) Homework: (2.1) 19gh, (2.2) 2aeil, 3bf, 4d, 17d, (2.3) 1ce |
| 4 (April 17-21) | Lab 3 | Set Theory (2.3), Principle of Mathematical Induction (2.4) Homework: (2.3) 4ab, 20c, (2.4) 1abd, 2a-e, 8b |
More on Mathematical Induction, Well Ordering Principle (2.5) Homework: (2.4) 9a, 15c, (2.5) 3a, 12ab |
| 5 (April 24-28) | Lab 4 | Division Algorithm (2.5), Introduction to Relations (3.1) | Counting (2.6) |
| 6 (May 1-5) | Test 1 | Equivalence Relations (3.2) Homework: (3.1) 20ce, (3.2) 1aek, 4a |
Equivalence Class, Partitions (3.3), Ordering Relations (3.4) Homework: (3.3) 2def, 6b, 14b, (3.4) 1ac |
| 7 (May 8-12) | Lab 5 | More on Ordering (3.4), Introduction to Functions (4.1) Homework: (3.4) 16, 18ab, (4.1) 1ag, 3a |
Construction of Functions, Onto Functions (4.2,4.3) Homework: (4.1) 8be, 18a, (4.2) 1ac, 2ac, 3a, 19a |
| 8 (May 15-19) | Lab 6 | Invertible Functions (4.3), Induced Set Functions (4.4) Homework: (4.3) 1cf, 2cf, 17bc, (4.4) 1a, 2ac, 4a, 7ac |
Cardinality, Finite Sets (5.1) Homework: (5.1) 5a-f, 6a, 19a, (5.2) 1a |
| 9 (May 22-26) | Lab 7 | Infinite Sets (5.2), Countable Sets (5.3) Homework: (5.2) 5ace, 12a, (5.3) 8ace, 16a |
Class Cancelled |
| 10 (May 29-June 2) | Memorial Day | Test 2 | Ordering of Cardinal Numbers (5.4), Comparability, Axiom of Choice (5.5) |
| 11 (June 5-5) | Review | Final Exam, 5-7:30 | - |