Offers an intensive introduction to discrete mathematics as it is used in computer science. Topics include functions, relations, sets, propositional and predicate logic, simple circuit logic, proof techniques, elementary combinatorics, and discrete probability. Fall, every other Spring. Credit, 3 semester hours. PREREQ: MAT 1070 or MAT 1090 or MAT 2210 and CSC 1750, 1760.
