- [May 16] The final exam can be picked up in
UP360 (except for students who took the exam for the PhD PL competency
requirement).
- [May 6] Check out a sample exam:
sample-final.pdf
- [Mar 6] Reminder: the final exam is
Thursday, May 10 at 7pm, in Upson 207. The exam is closed-book and covers
all lectures (lectures 1-41).
- [Apr 24] Small problems have been fixed in the
code provided (in solve.ml and main.ml). Please download the new tarball
plog2.ml.
- [Apr 23] PS7 has been posted. It is due Friday
May 4.
- [Apr 9] PS6 has been posted.
- [Mar 30] Minor corrections in PS5, file "inference.ml".
Please download the updated "lam.tgz" file.
- [Mar 26] PS5 has been posted.
- [Mar 14] graded PS3 can now be picked up in UP
360.
- [Mar 7] Check out a sample exam:
sample-prelim.pdf
- [Mar 7] Reminder: the prelim exam is
Monday, March 12. This is an in-class, closed-book exam.
- [Feb 28] PS4 has been assigned.
- [Feb 21] A typo in PS3, 2(b) has been fixed.
- [Feb 20] PS3, Problem 2 has been updated.
- [Feb 19] Homework 3 has been posted.
- [Feb 19] Siggi has joined the CS411 course staff. His office hours
are Tuesday 2-3pm.
- [Feb 8] Radu's office hours are Monday 4-5pm.
- [Feb 7] Instructions for compiling the provided code
have been added to imp.tgz, in the file README.txt.
- [Feb 7] A typo has been fixed in PS2,
problem 3b.
-
[Feb 7] Problem Set 2 has been posted. It is due Thursday, Feb 15.
-
[Jan 15] First meeting: Mon, January 22, in TH (Thurston Hall)
203, at 11:15 am.