CS 486: Applied Logic
Spring 2001


May 16 REVIEW for the final exam is TODAY, Wednesday, May 16, from 3:30-4:30 pm in Upson 215.
May 3 Prof. Constable's 1985 Technical Report, The Semantics of Evidence, is now linked to the Lecture Notes page.
Apr 27 The last assignment, due May 3, is now online.
Apr 24 The Project description page is now online.
Apr 18 The Final Exam is Friday, May 18, from 12:00-2:30 pm in Hollister 372.
Apr 16 Alexey had to cancel his office hours today. He will have office hours Tues, 4/17, from 3:00-4:00 pm instead, and will have his regular office hours on Wed, 4/18.
Mar 30 The CS486 final exam will be on Friday, 5/18/01, from 12:00-2:30 pm, in Hollister 372.
Mar 29 Assignment 6, problems 1 and 2 were graded incorrectly. Most of the "wrong" solutions turn out to be right, if you use the liberalized version of Rule D. We decided to drop these problems.
Mar 28 Alexei has extended office hours today: 3-7 p.m. (Upson 4139)
Mar 27 The Prelim will be an in-class test on Thurs, Mar 29.
Mar 5 A couple corrections to the hard-copy (handwritten) version of Assignment 5 that was handed out in class: It is labeled as "Assignment 6," but is really Assignment 5. Also, exercise 4 should read, "Solve the exercise on p. 38 of Smullyan" (not p. 30). The assignment is online now.
Feb 28 FAQ is added. It has an answer for a frequently asked question about HW4, Problem 1 (ii).
Feb 8
Axiomatic Set Theory, by Patrick Suppes, is recommended, not required.
Feb 7
Please note: Students should expect a quiz EVERY Thursday.
Feb 2
The Stewart and Tall book, Foundations of Mathematics, is in at the Campus Store (as of Jan 24).
Feb 1
Added to Handouts: Quiz 1 and Quiz 1 Solutions
Added to Lecture Notes: Lecture 3


Webms: Juanita Heyerman, Department of Computer Science, Cornell University, Ithaca, NY. Mail to: mailto:juanita@cs.cornell.edu