Schedule

Tues 08/27/13

• Topic	Sets and Functions
  Material	Rosen chapter 2.1 - 2.3 and notes on SetsFunctions
  Tasks	Lecture/Tutorial
  Assignment	Ramct Quiz on Sets and Functions (due 09/12 11:00 am)

Thur 08/29/13

• Topic	Sets and Functions
  Material	Rosen chapter 2.1 - 2.3 and notes on SetsFunctions
  Tasks	Work day, work on RamCT Set and Functions quiz

Tues 09/03/13

• Topic	Propositions and Predicates
  Material	Rosen Ch 1.1 - 1.4 and notes on Propositions, Predicates
  Tasks	Lecture/Tutorial
  Assignment	Ramct Quiz on Propositions and Predicates (due 09/12 11:00 am)

Thurs 09/05/13

• Topic	Inference Rules
  Material	Rosen Ch 1.6 and notes on InferenceRules
  Tasks	Lecture/Tutorial
  Assignment	paper HW #1 on Inference Rules (due 09/10 11:00 am) Ramct Quiz on Inference Rules (due 09/12 11:00 am)

Tues 09/10/13

• Topic	Sets & Functions, Propositions & Predicates, Inference Rules
  Material	Rosen Ch 1.1 - 1.4, 1.6 and Ch 2.1 - 2.3, notes
  Tasks	Review for test #1, Review HW #1, work day

Thur 09/12/13

• Tasks

  Test #1 (in-class)

Tues 09/17/13

• Topic	Proofs Techniques
  Material	Rosen Ch 1.7 and notes on ProofTechniques,
  Tasks	Lecture/Tutorial
  Assignment	paper HW #2 on Proof Techniques (due 09/24 11:00 am) Ramct Quiz on Proof Techniques (due 09/26 11:00 am)

Thurs 09/19/13

• Topic	Proofs Techniques
  Material	Rosen Ch 1.7 and notes on ProofTechniques
  Tasks	Work day, work on Proof Techniques RamCT quiz & HW #2

Tues 09/24/13

• Topic	Program Verification
  Material	Rosen Ch 5.5 (7th edition) and notes on ProgramVerification
  Tasks	Lecture/Tutorial, review HW #2, test #2 review
  Assignment	Ramct Quiz on Program Verification (due 09/26 11:00 am)

Thur 09/26/13

• Tasks

  Test #2 (in-class)