Prerequisites: ECE 320 or PHIL 230; Completion of MATH 150B with a grade of “C” or better. Propositional calculus, predicate calculus, set algebra, relations, functions, mappings, fields and number systems.
