• Mark’s office hours for Monday, Dec. 4 will not meet.
  • PS 8 is now posted; it involves proofs with our new quantifier rules. UPDATE: It’s now due on Monday, December 4 by the end of class!
  • PS 7 is on Monday, November 27, and it involves the translation of nested, mixed quantifiers.
  • Mark’s Office Hours (CLA 163): M: 9–10:50a ; Tu: 4–4:50p; F: 11-11:50a & 3–3:50p; + by appt
  • David’s Tutoring Hours (CLA 160): W: 11a–12:50p; Th: 11a–1:50p; F 10–10:50a

Click for Current Week Click for Problem Sets Click for Syllabus

Week 1

Week 2

Week 3

Week 4

Week 5

Week 6

Week 7

Week 8

Week 9

Week 10

Week 11

Week 12

Week 13

Week 14

Week 15

Final Exam Week

  • Exam 3 will be administered in our regular classroom during our scheduled final exam slot. Check online at to see the schedule for this and all your other courses’ exam times.
  • Exam 3 is not a comprehensive final exam. It will only test you on the material after Exam 2, namely Chapters 11 and 13. It will have no Take Home component.
  • You should take the practice Exam 3 before taking the real Exam 3.

Valid CSS!