CS 486: Applied Logic

Spring 1999


Announcements


Feb. 8When handing in assignments, please submit each problem on a separate piece of paper -- for the graders.
Mar. 16Quiz 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. 30Help session Wednesday March 31 from 2 - 4:30 p.m. in 4135 Upson
Mar. 30Final Exam is scheduled for Friday, May 14, 9 - 11:30 a.m., Hollister 314
May 6Project is due by 5 p.m., Tuesday, May 11, in 4147 Upson




AssignmentsSummaryHandoutsAdministration Spring 97
Web LinksLecture NotesSelected SolutionsReference MaterialNuprl

Joan Lockwood, Department of Computer Science, Cornell University, Ithaca, NY. Mail to: joan@cs.cornell.edu