May 5: Final Exam Slots - We will use the first 50 minutes of the
exam period for exam 3.
10-11 class: Monday, May 14, 2-5 pm, GAR 0.102
11-12 class: Friday, May 11, 2-5 pm, GSB 2.124
Apr 10: Exam 2 locations for Wednesday, April 11, in-class exam:
10-11 class: UTC 2.112A
11-12 class: SAC 1.402
Jan 17: Logic review
problems
Jan 17: Set
review
Jan 17: Here are some notes
on
induction proofs.
Jan 17: This
website is still a work in progress. The documents may
change prior to our first class meeting.