Week 1 : Jan 14
  • Course introduction (pdf)
    Propositional logic (pdf)
    Reading
    Sections 1.1-1.2 in zybooks
    More propositional logic (pdf)
    Reading
    Sections 1.3-1.5 in zybooks
Week 2 : Jan 21
  • Predicate logic (pdf)
    Reading: Sections 1.6-1.10 in zybooks
    Logical inference (pdf)
    Recitation
    Assignment
    Zybooks Chapter 1 reading due Jan. 28
Week 3 : Jan 28
  • Proofs (pdf)
    Reading: Sections 2.1-2.3 in zybooks
    More proofs (pdf)
    Reading: Sections 2.4-2.5 in zybooks
    Recitation
    Assignment
    Zybooks Chapter 2 reading due Feb. 4; Canvas quiz: Propositional Logic due Feb. 2
Week 4 : Feb 4
Week 5 : Feb 11
Week 6 : Feb 18
  • Practice with Proofs (pdf)
    Mid Term Test 1: material up to and including week 5: Functions; Friday in class
    Assignment
    PA1 due and Canvas: sets and functions (as two Canvas quizzes due TBA)