back to CS486
Course Homepage

CS 486: Applied Logic Spring 2003



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.

Webms: Juanita Heyerman, Department of Computer Science, Cornell University, Ithaca, NY. Mail to: