CS 251 is a second course in Discrete Structures for computer scientists. Please see the syllabus for course details.