Schedule

Week 1 : 01/21-01/25

• Topic	Sets and Functions
  Material	Rosen chapter 2.1, 2.2, 2.3 and notes on SetsFunctions
  Tasks	Lecture/Tutorial (Tuesday 01/22), Quiz 1 (Thursday 01/24)

Week 2 : 01/28-02/01

• Topic	Propositions and Predicates
  Material	Rosen Ch 1.1 to 1.3 and notes on PropositionsPredicates
  Tasks	Lecture/Tutorial (Tuesday 01/29), Quiz 2 (Thursday 01/31)

Week 3: 02/04-02/08

• Topic	Inference Rules
  Material	Rosen Ch 1.5 and notes on InferenceRules
  Tasks	Lecture/Tutorial (Tuesday 02/05), Quiz 3 (Tuesday 02/05), Test 1 (Thursday 02/07)

Week 4 : 02/11-02/15

• Topic	Proofs
  Material	Rosen Ch 1.5 to 1.7 and notes on ProofTechniques
  Tasks	Lecture/Tutorial (Tuesday 02/12), Quiz 4 (Thursday 02/14)

Week 5 : 02/18-02/22

• Topic	Program Verification
  Material	Rosen Ch 4.5 (6th edition) or Ch 5.5 (7th edition) and notes on ProgramVerification
  Tasks	Lecture/Tutorial (Tuesday 02/19), Quiz 5 (Tuesday 02/19), Test 2 (Thursday 02/21)