Schedule

Week 1 : 06/17-06/21

• 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)

Week 2 : 06/24-06/28

• 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)

Week 3: 06/01-06/05

• Topic	Inference Rules, Proofs
  Material	Rosen Ch 1.5 and notes on InferenceRules
  Tasks	Lecture/Tutorial (Monday 07/01), Quiz 3 (Wednesday 07/03)

Week 4 : 07/08-07/12

• 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