Schedule
| Period | Topic | Material | Tasks |
|---|---|---|---|
| week 1 01/17 - 01/20 |
Sets and Functions | Rosen chapter 2.1, 2.2, 2.3 and notes on Sets | Lecture/Tutorial (Tuesday 01/17), Quiz 1 (Thursday 01/19) |
| week 2 01/23-01/27 |
Propositions and Predicates | Rosen Ch 1.1 to 1.3 and notes on Logic | Lecture/Tutorial (Tuesday 01/24), Quiz 2 (Thursday 01/26) |
| week 3 01/30-02/03 |
Inference Rules | Rosen Ch 1.5 and notes on Logic. | Lecture/Tutorial (Tuesday 01/31), Quiz 3 (Tuesday 01/31), Test 1 (Thursday 02/02) |
| week 4 02/06-02/10 |
Proofs | Rosen Ch 1.5 to 1.7 and notes on Proofs | Lecture/Tutorial (Tuesday 02/07), Quiz 4 (Thursday 02/09) |
| week 5 02/13-02/17 |
Program Verification | Rosen Ch 4.5 (6th edition) or Ch 5.5 (7th edition) and notes on Verification | Lecture/Tutorial (Tuesday 02/14), Quiz 5 (Tuesday 02/14), Test 2 (Thursday 02/16) |