CS 486: Applied Logic

Spring 1999


Assignments


Available as PostScript files; HTML where noted.

Please submit each problem on a separate piece of paper. This will assist the graders.


The Project

The Project is due by 5 p.m. on Tuesday, May 11, in 4147 Upson.

Each project should have a written component as well as any code. The written report should be at least five pages long, plus references.

AnnouncementsSummaryHandoutsAdministration Spring 97
Web LinksLecture NotesSelected SolutionsReference MaterialNuprl


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