Description

Welcome to the CS122 course website. Here you will be able to view the course schedule, download course notes, do the tutorials and take the online quizzes.

This course has been developed to allow students that skip CS160 to still get the necessary Discrete Mathmatics. In this course you will cover:

• Sets and functions
• Propositions and predicates
• Inference rules
• Proof techniques
• Program verification

CS122 is a 5 week, 1 credit course. Your grade is determined by 5 on-line quizzes (6% per quiz) as well as two tests (35% per test) taken in week 3 and 5 of the course.

The course is based on the book "Discrete Mathematics and its Applications, 6th ed." by Kenneth Rosen, McGraw Hill, also used in cs160, cs161, and cs200.