Instructor:
Wim Bohm
Office: 470 CS Building
Office Hours: Friday 10:15 - 11:15 AM
Email: bohm@cs.colostate.edu
Lecture Time and Place:
9:30 - 10:45 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 five week course.

News:

Welcome to CS122!

In week 2 we have the lecture on Thursday