CS 2120 is a foundational computer science course titled 'Discrete Mathematics and Theory 1'. It introduces students to discrete mathematics and proof techniques, focusing on first-order predicate logic and induction. The curriculum covers various application areas including sets, tuples, functions,...