back to CS486 Course Homepage
|
|
ANNOUNCEMENTS
|
CS 486: Applied Logic
|
Spring 2003
|
Date
|
Item
|
5/7/03 |
Smullyan's book and the posted course notes may be used during the final exam
|
4/24/03 |
CS486 Final Exam: Thurs, 5/15/03, 3:00-5:30pm, in Hollister 362
|
4/3/03 |
Written (1 page) Project Proposals are due Tuesday, April 8
|
3/7/03
|
Additional Course Notes
have been added to the menu bar on the Course Homepage
|
3/6/03
|
There will be an IN-CLASS Prelim
Thursday, April 3rd.
|
2/3/03
|
DUE DATE for Assignment 2 is being
pushed back to Tues, Feb 11.
|
1/24/03
|
Matthew's office hours this
Monday (Jan. 27) will be from 4:00-5:00pm, because of one-time conflict with Nuprl seminar.
|
|