## COMP 172 Discrete Structures for Computer Science

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.