DATE
|
ITEM
|
| 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
|
