Spring,
Fall
4
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.