CS 220

Prerequisites

Mastery of college algebra. Introductory Java programming in CS 110.

Learning Outcomes

Upon successful completion of this course, students will be well-versed in propositional and predicate logic; proof-solving techniques such as direct proof, contradiction, and mathematical induction; sets, counting, combinatorics, and probability; functions, binary relations, and recurrence relations; and graphs and algorithms upon them, as time allows. These topics will provide a broad mathematical foundation for future computer science courses and improve the logical and abstraction skills of the students.

Textbook

The required text is Mathematical Structures for Computer Science: Discrete Mathematics and Its Applications 7th Edition ISBN 978-1-4292-1510-7 by Judith Gersting and it is necessary for readings, homework problems, and reference. You are responsible for any graded work you cannot complete due to lack of a book.