Propositional logic, set theory, relations, combinatorics, graphs. Topics are treated with particular emphasis on applications to the engineering discipline. (Cannot be taken for credit in addition to CAS MA 293.)