CS/COE 441 Discrete Structures for Computer Science, Spring 2008