Introduction to discrete structures used in various areas of computer science. Topics include logic, sets, relations, functions, cardinality, enumeration, and computability.
Prerequisites: Grade C or in MAT 126,COS 125 or ECE major with a Grade C or higher in MAT 126 and in ECE 177