Discrete Structures for Computing, Fall 2001