DATE

ITEM

May 16

REVIEW for the final exam
is TODAY, Wednesday, May 16, from 3:304: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:002: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:004: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:002: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: 37
p.m. (Upson 4139)

Mar 27

The Prelim will be an inclass test on
Thurs, Mar 29.

Mar 5

A couple corrections to the hardcopy (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
