Instructor:
Darrell Whitley
Office: 270 CS Building
Office Hours: by appointment
Email: whitley@cs.colostate.edu
Lecture Time and Place:
11:00 - 12:20 AM, Tuesday/Thursday, CSB Room 225

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 fall it is a five week course.

News: