CS280 Fall 1997
Discrete Structures

Personnel

Instructor

  Dexter Kozen
kozen@cs.cornell.edu
5143 Upson
255-9209 

Teaching Assistants


Agnes Szanto
agi@cam.cornell.edu
657 Rhodes
255-3399 
Tobias Mayr
mayr@cs.cornell.edu
5148 Upson
255-7416 
Chris Jeuell
chj2@cornell.edu
253-1300 

Time and Place

Office Hours

Sources

Texts

Required: Other sources (on reserve in the Engineering library, Carpenter Hall):

Handouts

All handouts, homework sets, etc. will be available online. They will be accessible from this page (see below). Some of the notes may be in postscript format, so you will need access to a postscript previewer such as "ghostview" or postscript printer. All the printers in the undergraduate labs handle postscript. Please contact us if you experience difficulties.

Homework sets and handouts will be posted periodically. It is your responsibility to check for new postings.

Public Newsgroup and Email

A public newsgroup cornell.class.cs280 has been created for technical discussions, questions, and announcements concerning 280. Please feel free to use this group as you would any newsgroup or bulletin board. Free-ranging technical discussions are especially encouraged. In particular, if you know the answer to a question posted by another student, please feel free to respond.

If you prefer not to go public with your question, send email to cs280@cs.cornell.edu.

We will try to respond to all email and newsgroup postings within one working day. 

Homework and Exams

There will be eight homework assignments, two hour-long evening prelims, and one 2.5 hour (cumulative) final exam. Exams are open book and notes. The prelims, final and homework will each be worth approximately a third of your grade. Your lowest homework score will be dropped.

Homework is due at the start of class on the day it is due. Late homework will not be accepted without a good excuse. Please clear it with a TA in advance. We will attempt to have the homework graded and back to you within two working days. Homework must be submitted in hardcopy form; no email, please. Homework assignments and solutions will be available online and accessible from this page (see below).

All appeals for regrades should be directed to the person who graded the problem. Check the initials.

Homework due dates:

Time and place of exams: Please mark your calendars.

Informal evening review sessions and makeup exams will be scheduled closer to the time of the exams. You may not take a makeup exam unless you have a conflict with another exam or other overriding excuse; in any case, you must clear it with us in advance. If you anticipate a conflict, it is important that you let us know as early as possible.

Collaboration on homework or exams is not allowed and will be considered a violation of the Code of Academic Integrity. 

Handouts

Handouts will be posted here. Please check periodically. Documents marked are in postscript format.