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).