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 1 credit five week course. There are five lectures in this class, on August 23, August 30, September 1, September 6 and September 13. For each lecture, there is an online tutorial (go to the Tutorial Tag on the CS122 homepage) and a Quiz (go to the Assignments Tag on the CS 122 homepage).