CS280 Fall 1997
Discrete Structures
Personnel
Instructor
Teaching Assistants
Time and Place
- MWF 1:25-2:15 Kimball B11
Office Hours
- Kozen: Upson 5143, MT 2:15-3:15pm, F 2:15-3pm
- Szanto: Rhodes 657, WF 11-12noon
- Mayr: Upson 5148, MWR 12:15-1:15pm
- Jeuell: Rhodes 424, TR 3-4pm
Sources
Texts
Required:
- David Gries and Fred B. Schneider, A Logical Approach to
Discrete Math, Springer-Verlag, 1994. We will be using the
THIRD PRINTING or after. Look at the page opposite the dedication,
third line from the bottom. You will see a descending sequence of
digits starting with 9. If it goes below 3, you have an old
printing. There were a number of errors corrected in the third
printing; click here for a list of
errata.
Other sources (on reserve in the Engineering library, Carpenter
Hall):
- K. H. Rosen, Discrete Mathematics and Its Applications,
3rd edition, McGraw-Hill, 1995.
- R. Graham, D. Knuth, O. Patashnik, Concrete Mathematics: A
Foundation for Computer Science, Addison-Wesley, 1989.
- C. L. Liu, Elements of Discrete Mathematics,
McGraw-Hill, 1985.
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:
- Homework 1: Wednesday, Sept. 10
- Homework 2: Friday, Sept. 19
- Homework 3: Monday, Sept. 29
- Homework 4: Wednesday, Oct. 8
- Homework 5: Wednesday, Oct. 22
- Homework 6: Friday, Oct. 31
- Homework 7: Monday, Nov. 10
- Homework 8: Monday, Nov. 24
Time and place of exams:
- Prelim 1: Thursday, October 9, 155 Olin Hall, 7:30-8:30pm
- Prelim 2: Tuesday, November 11, 155 Olin Hall, 7:30-8:30pm
- Final: Wednesday, December 17, 155 Olin Hall, 3-5:30pm
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.
-
Code of Academic Integrity (Please read!)
Homework 1, due
Wednesday, September 10 |
Solutions | Stats
Errata corrected
in third printing
Homework 2, due
Friday, September 19 |
Solutions | Stats
Notes on the
completeness proof, lecture of 9/15
- Course syllabus from Spring
1990
Homework 3, due
Monday, September 29 |
Solutions | Stats
Notes on
propositional logic and set theory, lecture of 9/22
Homework 4, due
Wednesday, October 8 |
Solutions
Practice
prelim
Notes on partial
orders, lecture of 10/6
Homework 5, due
Wednesday, October 22 |
Solutions | Stats
Prelim 1 Makeup,
10/8 |
Solutions
Prelim 1, 10/9 |
Solutions | Stats
Notes
on induction, 10/17
More
examples of induction, 10/20
Homework 6, due
Friday, October 31 |
Solutions | Stats
Notes on Structural
Induction, 10/27
Slides on
inductive definition and on closure of sets, 10/29
Slides on
balanced parentheses, 11/01
Homework 7, due
Monday, November 10 |
Solutions | Stats
Extra lecture
on induction, 11/6
Practice
prelim 2 |
Solutions
Weak vs.
strong induction
Prelim 2, 11/11
|
Solutions | Stats
Prelim 2 Makeup,
11/12 |
Solutions
Notes on
Probability
Homework 8, due
Monday, November 24 |
Solutions
More Notes on
Probability
Homework 9,
optional! |
Solutions
Practice
final (Postscript) | (MS Word)
|
Solutions