Nov 4: Midterm 2 is Thursday, Nov 5, 7:30-9 pm, in PAI 2.48.
Nov 4: Midterm 2 review session, 7:30-9 tonight, PAI 3.14.
Sept 30: We have a new 313k tutor, Jeff Shi. Jeff's office
hours are listed on the office hours webpage.
Sept 30: ACM will hold an exam review session tonight, 6-7 pm,
in PAI 3.14.
Sept 29: I've added a practice sheet on validity proofs and
English-to-logic translations on the handouts page.
Sept 10: See comments about homework 1 on the class discussion
board. Remember that homework 1 is due tomorrow, Friday, Sept 11, at
the beginning of class.
Aug 25: This website is a work in progress - the course
policies will not be finalized until the first day of class.
Homework Assignments
homework 1 - due September 9 at the
beginning of class
homework 2 - due September 21 at
the beginning of class
homework 3 - due September 28 at the
beginning of class
homework 4 - due October 21 at
the beginning of class
homework
5 - due November 13 at the beginning of class
homework
6 - due November 23 at the beginning of class