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. Some additional help for this course may be found on the website's cheat sheet.

Instructor:

Debbie Bartlett
Office: 272 CS Building
Office Hours: Wednesday 2:00 - 3:00, or by appointent
Email: bartlett@cs.colostate.edu

Lecture Time and Place:

11:00 - 12:20 Tuesday & Thursday, CSB Room 225

You must be qualified to skip CS 160, completed MATH 118, and be concurrently registered for CS 161.

"Discrete Mathematics and its Applications, 7th ed." by Kenneth Rosen and McgrawHill

Here are the formally graded elements of the course and associated weighting:

Semester grades are determined by the weighted sum of points earned in each of these areas. A 90% or better will earn some kind of 'A', 80% to less than 90% some kind of 'B', 70% to less than 80% some kind of 'C', 60% to less than 70% some kind of 'D', less than 60% a 'F'.

Any in-class midterms will be held in the same classroom as regular lectures. While no change to the midterm dates is anticipated, the instructor reserves the right to change these dates with a weeks notice.

All students taking this course are expected to participate actively. This includes asking and responding to questions. Questions may be asked or answered in class or during office hours.

All students are expected to conduct themselves professionally. We (the instructors and GTAs) assume you are familiar with the policies in the student information sheet for the department. Additionally, you are computing professionals, albeit perhaps just starting. You should be familiar with the code of conduct for the primary professional society, ACM. You can read the ACM Code of Conduct HERE.

We work to maintain an environment supportive of learning in the classroom and laboratory. Towards that end, we require that you be courteous to and respectful of your fellow participants (i.e., classmates, instructors, GTAs and any tutors). In particular:

• Please turn off the ring on your cell phone. If you are expecting an emergency call, sit near the door and slide out discretely to take it.
• In class use of electronic devices in general, and laptops specifically, is permitted as a courtesy so that you may better participate and learn. If at any time the instructor judges that an electronic device is becoming a distraction the student may be asked to to turn it off and put it away.
• All exams and quizzes are to be done without the aid of notes of any kind, unless specifically stated by the instructor. Laptops and all other electronic devices must be shut and put away during exams and quizzes.

Exams, quizzes, and projects will be done individually and grades assigned on an individual basis. Further, students not already familiar with the CSU Honor Pledge should review this clear and simple pledge and always adhere to it.