The CS122 course has been developed to allow students that skip CS160 to still get the necessary Discrete Mathematics that is taught in CS160. This course covers the following topics:

• sets and functions
• propositions and predicates
• inference rules
• proof techniques
• program verification.

CS122 is a 5 week, 1 credit course.