| Topic | Sets and Functions |
| Material | Rosen chapter 2.1, 2.2, 2.3 and notes on SetsFunctions |
| Tasks | Lecture/Tutorial (Monday 06/17), Quiz 1 (Wednesday 06/19) |
| Topic | Propositions and Predicates |
| Material | Rosen Ch 1.1 to 1.3 and notes on Propositions, Predicates |
| Tasks | Lecture/Tutorial (Monday 06/24), Test 1 (Monday 06/24), Quiz 2 (Wednesday 06/26) |
| Topic | Inference Rules, Proofs |
| Material | Rosen Ch 1.5 and notes on InferenceRules |
| Tasks | Lecture/Tutorial (Monday 07/01), Quiz 3 (Wednesday 07/03) |
| Topic | Proofs, Program Verification |
| Material | Rosen Ch 1.5 to 1.7 and notes on ProofTechniques, Rosen Ch 4.5 (6th edition) or Ch 5.5 (7th edition) and notes on ProgramVerification |
| Tasks | Lecture/Tutorial (Monday 07/08), Quiz 4 (Wednesday 07/10) Final TBD |