(12/15) Homework 6 solution is online.
(12/14) The final will be held Wednesday, 12/19, 9:00-11:30am in Olin 245.
(12/14) The review session will be held Monday, 12/17, at 7:00pm in Upson 211.
(12/7) Scribe notes for lectures 32 and 33 have been updated recently
(12/5) A corrected version of Homework 6 is online. Field selection (e.l) was missing from the syntax of the language of problem 2.
(11/26) Nate's office hours for Thursday 11/29 are canceled.
(11/15) Another corrected version of Homework 5 is online. This corrects a minor bug in the factorial example of problem 2.
(11/11) A corrected version of Homework 5 is online. The only changes are to the statements of the preservation and progress lemmas in problem 2.
(11/5) Homework 4 statistics: mean = 67.6 (out of 100), stdev = 34.0, median = 86.5.
(11/2) Prelim statistics: mean = 68, stdev = 14, median = 67
[ smoothed histogram of results ]
(10/29) Homework 3 statistics: mean = 70.8 (out of 100), stdev = 27.6, median = 88.