| Week | Monday Lab | Tuesday | Thursday |
|---|---|---|---|
| 1 (March 29 - Apr 2) | Introduction to Logic (1.1) | Conditionals (1.2), Quantifiers (1.3) | Quantifiers (1.3), Basic Proof Methods (1.4) |
| 2 (Apr 5-9) | Lab 1 | Basic Proof Methods (1.4, 1.5) | Basic Proof Methods, Proofs on Statements with Quantifiers (1.5, 1.6) Self-reading (1.7) |
| 3 (Apr 12-16) | Lab 2 | Set Theory (2.1), Homework 1 due | Set Theory (2.2, 2.3) |
| 4 (Apr 19-23) | Lab 3 | Set Theory (2.3), Mathematical Induction (2.4), Homework 2 due | Mathematical Induction (2.4, 2.5) |
| 5 (Apr 26-30) | Test 1 | Well-Ordering Principle (2.5), Division Algorithm (2.5), Relations (3.1), Homework 3 due | Relations, Equivalence Relations (3.2) |
| 6 (May 3-7) | Lab 4 | Partitions (3.3), Ordering relations (3.4), Homework 4 due | Ordering Relations (3.4), Functions (4.1) |
| 7 (May 10-14) | Lab 5 | Inverse Functions (4.2), Onto Functions (4.3), Homework 5 due | One-to-one Functions, Bijections (4.3), Induced Set Functions (4.4) |
| 8 (May 17-21) | Test 2 | Finite Sets (5.1), Homework 6 due | Lab 6 |
| 9 (May 24-28) | Infinite Sets (5.2), Q is denumerable (5.3) | Countable sets (5.3), Ordering of Cardinal Numbers (5.4), Homework 7 due | Lab 7 |
| 10 (May 31-June 4) | Holiday | More on ordering of cardinal numbers (5.4), Axiom of Choice and consequences (5.5), Homework 8 due | Review |
| 11 (June 7-8) | Presentations, Review | Final Exam | - |