Instructor:
Debbie Bartlett
Office: 272 CS Building
Office Hours: Wed, 1:00 - 2:00
Email: bartlett@cs.colostate.edu
Lecture Time and Place:
11:00 - 12:20, Tue, Thur, 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 5 week, 1 credit course.

News: