Instructor:
Sudipto Ghosh
Office: 468 CS Building
Office Hours: TR, 1:00 - 2:00; or by appointment
Email: ghosh@cs.colostate.edu
Lecture Time and Place:
2:00 - 2:50 PM, Mon, CSB Room 215

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 course. This summer it is a four week course.

News: