CS 486: Applied Logic | Spring 1999 |
Announcements
Feb. 8 | When handing in assignments, please submit each problem on a separate piece of paper -- for the graders. |
Mar. 16 | Quiz for today is posted on the web under Handouts.
Mar. 18 | Prelim Thursday April 1; in class; closed book; 60 minutes; written |
Mar. 30 | " The Predicate Calculus with Equality" was handed out in class. |
Mar. 30 | Help session Wednesday March 31 from 2 - 4:30 p.m. in 4135 Upson |
Mar. 30 | Final Exam is scheduled for Friday, May 14, 9 - 11:30 a.m., Hollister 314 |
May 6 | Project is due by 5 p.m., Tuesday, May 11, in 4147 Upson |
|
Joan Lockwood, Department of Computer Science, Cornell
University, Ithaca, NY. Mail to: joan@cs.cornell.edu
|