Prerequisites:MATH 131, or HONR 131, or a grade of “C” or higher in MATH 106 or MATH 119 Set algebra including relations and functions, propositional and predicate logic, combinatorics, graphs, and applications of these to various areas of computer science.