# COMP 172: Discrete Structures for Computer Science

**Term:** Spring Fall

**Credits:** 4

**Degree Requirements:** F6

An introduction to and survey of the mathematics used in computer science including functions, relations, sets, counting, logic, Boolean

algebra, proof techniques, induction, recursion, computational complexity, and computability. Other topics may be included as time

permits.

**Prerequisites:** Computer Science I: Programming Fundamentals,