MATH 217 Discrete Mathematics for Computer Science

This course is designed to serve Computer Science majors. Its goal is to familiarize the students with notions like basic logic theory, set theory (including here functions and relations), graphs and trees, and discrete probability, which will be dealt with in depth in future Computer Sciences classes. Proof-writing techniques are also discussed. The course topics follow the Curricula Recommendations of the ACM (Association for Computing Machinery).

MATH 217 cannot be taken as credit for MATH 218.
Math majors or double majors in CS and Math must take MATH 218.